Re: [Haskell-cafe] Finally tagless and abstract relational Algebra

Hi Günther The Lambda Calculus Abroad - is Daan Leijen's PhD (so you do already know it...). Best wishes Stephen 2009/12/29 Günther Schmidt :

Hi Stephen,

no I haven't, I only know of 2 papers on HaskellDB, chapter 5 from "The lambda calculus abroad" and a longer version, "Domain specific embedded compilers", both co-authored with Erik Meijer.

Is there another one?

Günther