Tim Sheard Putting curry-howard to work. 74-85 2005 conf/haskell/2005 Haskell http://doi.acm.org/10.1145/1088348.1088356 db/conf/haskell/haskell2005.html#Sheard05