Writing modular interpreters using catamorphisms, subtypes and monad transformers (1995)

by Luc Duponcheel