recent posts

typetitle sort iconauthorlast post
StorySeven Languages in Seven Weeks Ehud Lamm2010-12-03 20:42
StorySeven Myths of Formal Methods Revisited naasking2012-01-03 15:24
StorySeymour Papert injured in traffic accident Ehud Lamm2006-12-26 04:33
Forum topicSF-calculus Barry Jay2013-08-30 18:42
Forum topicSFI Talk: Four the hard way: Computer design and living software marco2016-04-02 22:01
StorySh Dan Moniz2004-10-03 18:20
Forum topicShannon programming language? raould2009-10-23 00:43
StoryShape analysis for composite data structures Ehud Lamm2007-02-20 14:10
StoryShape Analysis with Structural Invariant Checkers neelk2007-09-28 18:28
Forum topicShare: a programming environment for loosely bound cooperation Sean McDirmid2011-11-19 23:33