Lobsters
- Game Development Using Design-by-Contract (2006) http://www.jot.fm/issues/issue_2006_09/article3/ 2 comments compsci , games , programming
- Ontological Behavior Modeling http://www.jot.fm/issues/issue_2011_01/article3.pdf 2 comments compsci , pdf
- DB-integrated for comprehensions? http://www.jot.fm/issues/issue_2010_07/article3.pdf 4 comments scala
- Adding type constructor parameterization to Java [pdf] http://www.jot.fm/issues/issue_2008_06/article2.pdf 3 comments compsci
Lambda the Ultimate
- Adding Type Constructor Parameterization to Java http://www.jot.fm/issues/issue_2008_06/article2.pdf 34 comments Software Engineering , Type Theory
- The Theory of Classification - A Course on OO Type Systems http://www.jot.fm/issues/issue_2005_09/column1 7 comments OOP , Teaching & Learning , Theory , Type Theory
- The Case for First Class Messages http://www.jot.fm/issues/issue_2004_05/column1 169 comments OOP
- Tuples + Objects + Infosets =Too Much Stuff! http://www.jot.fm/issues/issue_2003_09/column1 47 comments OOP