typed-tagless-final

Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes

Contains all source code from Oleg's course on Typed Tagless Final Interpreters converted to Scala. The paper describes many alternatives of initial and final encoding and discusses the relative advantages and disadvantages. Also the course materials have the corresponding Haskell code.