HASKELL TO LOGIC THROUGH DENOTATIONAL SEMANTICS Dimitrios Vytiniotis, Koen Claessen, Simon Peyton Jones, Dan Rosén POPL 2013, January 2013 1.
An introduction on language processing
The other side of functional programming: Haskell for Erlang people
Functions and Mappings t
Functions and Mappings Tu
Functions and Mappings Tuz
Haskell Book Sample
CS252r: Advanced Topics in Programming Languages