recent posts

typetitleauthorlast post sort icon
Forum topicAdvancement in TDFA and POSIX submatch extraction Ulya Trofimovich2017-08-26 21:36
Forum topicSomething I forgot marco2017-08-26 06:44
StoryGraydon Hoare: What next for compiled languages? Ehud Lamm2017-08-21 15:39
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-21 14:33
StoryNo value restriction is needed for algebraic effects and handlers naasking2017-08-20 17:28
StoryImplementing Algebraic Effects in C naasking2017-08-20 17:24
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
StoryReview of Graham Hutton's Programming in Haskell, 2e Ehud Lamm2017-08-17 18:24
Forum topicThe question of the possibility of a simple formal foundation to the natural languages. Enrique Perez Arnaud2017-08-16 01:24
Forum topicisomorƒ: an experimental structured editor for witing/deploying functional code Brian Kent2017-08-15 18:39