WG211/M18Taha

From WG 2.11
Jump to: navigation, search

We report on a simple staging exercise, namely, that of starting with an interpreter for a lambda calculus written in Haskell and staging it in Template Haskell