The top documents tagged [x x y operational semantics]
Introduction to Haskell
40 views