recent posts

type sort icontitleauthorlast post
StoryRepresenting Control in the Presence of First-Class Continuations Leon P Smith2009-07-28 18:23
StoryLogFun - Building Logics by Composing Functors Anton van Straaten2006-10-13 02:19
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
StoryExtending the Scope of Syntactic Abstraction Manuel J. Simoni2010-03-05 04:14
StoryEvaluation and Usability of Programming Languages and Tools (PLATEAU) James Iry2009-08-16 20:26
StoryFlapjax - Functional Reactive Ajax Noel2006-10-22 18:10
StoryCommercial Users of Functional Programming 2007 Ehud Lamm2007-08-24 13:16
StoryIvor, a proof engine Niels Hoogeveen2006-08-08 15:02
StoryHOT Pickles Chris Rathman2007-06-24 08:32
StoryIdris 1.0 Released Ehud Lamm2017-04-02 22:33