Today Lille Lars and I handed in our exam project for the course Types in Object Oriented Languages. The project, which we have given the fancy title Assignment Featherweight java: Bringind Mutable State to Featherweight java, turned out nicely, and we got the chance to freshen up some of our dusty SML/NJ skills by constructing a type-checker for the language we constructed in the project.
-
Archives
- June 2010
- May 2010
- April 2010
- December 2009
- September 2009
- August 2009
- July 2009
- November 2008
- October 2008
- August 2008
- June 2008
- February 2008
- November 2007
- October 2007
- September 2007
- August 2007
- July 2007
- June 2007
- May 2007
- March 2007
- February 2007
- January 2007
- December 2006
- November 2006
- October 2006
- September 2006
- August 2006
- July 2006
- June 2006
- May 2006
- April 2006
- March 2006
- February 2006
- January 2006
- November 2005
- October 2005
- August 2005
- July 2005
- May 2005
- April 2005
- March 2005
- February 2005
- January 2005
- December 2004
- October 2004
- August 2004
- July 2004
- June 2004
- May 2004
- April 2004
- March 2004
- February 2004
- January 2004
- February 2003
- January 2003
- December 2002
- August 2002
- June 2002
- May 2002
- March 2002
- January 2002
- November 2001
- October 2001
- September 2001
- August 2001
- July 2001
- June 2001
- May 2001
- April 2001
- March 2001
- February 2001
- January 2001
-
Meta