Treat - An Applicative Code Generator.

Jerald S. Schwarz, Dean Rubine

Browse the full POPL paper archive.