Beauty in the beast: A functional semantics of the awkward squad (2007)

by Wouter Swierstra, Thorsten Altenkirch
Venue:In Haskell ’07: Proceedings of the ACM SIGPLAN Workshop on Haskell