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