28.2.08

 

Simply Easy

Andres Loeh, Conor McBride, and Wouter Swierstra. Simply Easy! An implementation of a dependently typed lambda calculus. Draft.

A tutorial introduction to dependent types aimed specifically at Haskell programmers. Lovely! I hope this appears somewhere soon.

Comments:
the paper is here.
 
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?