WG211/M18Taha

From WG 2.11
Jump to navigationJump to 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