Return to Article Details A Simple Take on Typed Abstract Syntax in Haskell-like Languages Download Download PDF