Typed Tagless Final Interpreters
Primary LanguageHaskell
http://okmij.org/ftp/tagless-final/course/lecture.pdf