No. 34 (2000): RS-34 A Simple Take on Typed Abstract Syntax in Haskell-like Languages

Published: 2000-06-04