news.volyx.in

Type Theory and Functional Programming (1999) [pdf] (cs.cornell.edu)

197 points by fanf2 · 298 days ago · 87 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.