Rolling Your Own MADT - A Connection Between Linear Types and Monads.

Chih-Ping Chen, Paul Hudak

Browse the full POPL paper archive.