[hcs-d] Summer Development Projects (and a virtual meeting tonight!)

Ivan Krstić krstic at solarsail.hcs.harvard.edu
Tue Jul 1 18:29:05 EDT 2008


On Jul 1, 2008, at 1:56 PM, Joshua Kroll wrote:
> writing verified web servers in Haskell*,

What does this mean?

--
Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | http://radian.org



More information about the hcs-discuss mailing list