- HALO: Haskell to Logic through Denotational Semantics [PDF] http://research.microsoft.com/en-us/people/dimitris/hcc-popl.pdf 6 comments haskell
Linking pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:research.microsoft.com
Search title: Microsoft Research – Emerging Technology, Computer, and Software Research
See how to search.