jagomart
digital resources
picture1_Programming In Haskell Pdf 189425 | Br Nondet 19


 161x       Filetype PDF       File size 0.31 MB       Source: kwarc.info


File: Programming In Haskell Pdf 189425 | Br Nondet 19
1 how to calculate with nondeterministic functions richard bird and florian rabe computer science oxford university resp university erlangen nurnb erg mpc2019 background 2 background background 3 calculate functional programs ...

icon picture PDF Filetype PDF | Posted on 03 Feb 2023 | 2 years ago
Partial capture of text on file.
                                                                                                        1
            How to calculate with nondeterministic functions
                                 Richard Bird and Florian Rabe
                Computer Science, Oxford University resp. University Erlangen-Nurnb¨   erg
                                              MPC2019
                    Background                2
                  Background
                                  Background                                  3
  Calculate Functional Programs
         ◮ Bird–Meertens formalism (Squiggol)
              ◮ derive functional programs from specifications
              ◮ use equational reasoning to calculate correct programs
              ◮ optimize along the way
           Example:
                         h(foldrf exs) = foldrF (he)xs
           try to solve for F to get more efficient algorithm
         ◮ Richard’s textbooks on functional programming
              ◮ Introduction to Functional Programming, 1988
              ◮ Introduction to Functional Programming using Haskell, 1998
              ◮ Thinking Functionally with Haskell, 2014
                    Background                4
  History
    My background
     ◮ Not algorithms or functional programming
     ◮ Formal systems (logics, type theories, foundations, DSLs, etc.)
     ◮ Design, analysis, implementation of formal systems
     ◮ Applications to all STEM disciplines
    This work
     ◮ Richard encountered problem with elementary examples
     ◮ He built bottom-up solution using non-deterministic functions
     ◮ I got involved in working out the formal details
    i.e., my contribution is arguably the less interesting part of this work :)
The words contained in this file might help you see if this file matches what you are looking for:

...How to calculate with nondeterministic functions richard bird and florian rabe computer science oxford university resp erlangen nurnb erg mpc background functional programs meertens formalism squiggol derive from specications use equational reasoning correct optimize along the way example h foldrf exs he xs try solve for f get more ecient algorithm s textbooks on programming introduction using haskell thinking functionally history my not algorithms or formal systems logics type theories foundations dsls etc design analysis implementation of applications all stem disciplines this work encountered problem elementary examples built bottom up solution non deterministic i got involved in working out details e contribution is arguably less interesting part...

no reviews yet
Please Login to review.