pl-theory Pages tagged with pl-theory pl-theory Typed Tagless Final Notes on the typed tagless final approach in programming language theory