recent posts

typetitleauthorlast post sort icon
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
Forum topicNew simple proof system Edwin Zacharias2017-08-13 22:29
Forum topicNOOL 2017 Roly Perera2017-08-11 12:22