recent posts

typetitle sort iconauthorlast post
Forum topicA Framework for Gradual Memory Management jondgoodwin2017-09-14 22:41
StoryA Framework for Comparing Models of Computation Andris Birkmanis2008-09-13 08:33
StoryA Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking neelk2009-03-06 16:33
StoryA Formulae-as-Types Interpretation of Subtractive Logic Andris Birkmanis2005-06-29 12:18
StoryA Formal System For Euclid's Elements neelk2010-04-08 16:57
StoryA Formal Language for Analyzing Contracts Olivier Lefevre2006-01-24 05:48
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicA Farewell to FRP in Elm Greg Buchholz2016-05-11 15:35
StoryA Dynamic Continuation-Passing Style for Dynamic Delimited Continuations Andris Birkmanis2007-01-09 18:53
Forum topicA duality between exceptions and states - Dumas, Duval, Fousse, Reynaud chrisoliver2014-11-10 17:57