Programming Languages in Haskell

Support for EECS 662 at KU

Index
Blog

More Derived Forms

letrec as a Derived Form

\[letrec x:T=t_1 in t_2 == bind x = fix (\lambda x:T in t_1) in t_2\]

Verification and Testing

Discussion

Definitions

Exercises