Making monads first-class with template haskell
Proceedings of the first ACM SIGPLAN symposium on Haskell
The worker/wrapper transformation
Journal of Functional Programming
A functional I/O system or, fun for freshman kids
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Selection functions, bar recursion and backward induction
Mathematical Structures in Computer Science
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Factorising folds for faster functions
Journal of Functional Programming
Functional programming through deep time: modeling the first complex ecosystems on earth
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Deriving an efficient FPGA implementation of a low density parity check forward error corrector
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A note on the genuine sieve of eratosthenes
Journal of Functional Programming
Towards modular compilers for effects
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Operational semantics using the partiality monad
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
A verified library of algorithmic skeletons on evenly distributed arrays
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
| Hi-index | 0.00 |
Written by a leading Haskell researcher and instructor, well-known for his teaching skills, this clear-cut text will enable students to write simpler and cleaner code, and to learn how to structure and reason about programs.