Thursday, April 22, 2010

Master's Thesis

I've finally sent my Master's thesis, "Realizing the Dependently Typed λ-Calculus", out for review. If that sort of thing gets you sweating, feel free to take a look.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)