Delicious Bookmarks for March 4th through March 28th

These are my links for March 4th through March 28th: Robert Harper’s Home Page – Robert Harper, a well known PL researcher kindly provides (draft) versions of three of his books free for download: Type Systems for Programming Languages, Programming in Standard ML, Practical Foundations for Programming Languages. I’ve yet to read them but Practical… Continue reading Delicious Bookmarks for March 4th through March 28th

Published
Categorised as Links