HALO: haskell to logic through denotational semantics.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosn

Browse the full POPL paper archive.