Putting Curry-Howard to work (2005)

by Tim Sheard
Venue:In Proceedings of the ACM SIGPLAN 2005 Haskell Workshop