readinggroup:spring07
Spring 2007
April 11: One nice paper from ETAPS 2007
April 18: A trilogy of Hoare Logic papers from ETAPS 2007
April 25: A little read on parametricity
May 2:
May 9: Erlang
May 16: A follow-up on a discussion of applications of HOT (Higher-Order, Typed) languages.
May 23: A survey of Oz.
May 30: Functional programming for scientific computation
readinggroup/spring07.txt · Last modified: 2014/03/04 03:27 by cschuster