Developing a monadic type checker for an object-oriented language: an experience report.

Elias Castegren, Kiko Fernandez-Reyes

Browse the full SLE paper archive.