Type Theory Comes of Age

4 views
Skip to first unread message

Roshan Mathews

unread,
Feb 2, 2010, 11:21:30 PM2/2/10
to bangalore-softw...@googlegroups.com
http://cacm.acm.org/magazines/2010/2/69367-type-theory-comes-of-age/fulltext

Don't want to go into a static vs dynamic languages flame war, but is
there anyone who uses both types regularly?

Reply all
Reply to author
Forward
0 new messages