Lightweight monadic programming in ML.

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks

Browse the full ICFP paper archive.