Trends in Functional Programming, 3. köide
An exploration of research in functional programming, featuring an international list of contributors. Topics covered include the exploitation of parallelism, compiler optimization techniques and research in type theory. Practice is not ignored, with papers on topics including an assessment of the applicability of the functional language Haskell for business applications, and a paper describing how to automatically repair type errors - a potentially important tool for users of strongly typed languages.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
A-decorated algebra application argument block BSP-Haskell bypassing comonad complete type checking computation corecursion cotrees created defined definition deforestation denoted DistM dynamic channels encoding endofunctor endomapping entry error messages example eXene expression extended higher-order deforestation FIFO flexible text values foldl foldr function call function type constructor function types functional language functional programming grid Haskell heap higher-order treeless form I/O-representations implementation input types instantiated interface intermediate structures LDAP LDAPMessage linear load balancing load balancing mechanism load distribution low watermark monad morphism morphism f node operation output outsA page faults paper parameter partially evaluate performance Pl/PO-representations pretty-printing trees process abstractions processor recursive runtime Section server soft-typing spark pool stack Standard ML string superstep thread tion topologies transformation type checker type errors type inference type language type systems usual function type variables vector virtual memory widget window X Window System