recent posts

typetitleauthorlast post sort icon
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-18 11:40
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
Forum topicSomething I forgot marco2017-08-18 01:15
StoryReview of Graham Hutton's Programming in Haskell, 2e Ehud Lamm2017-08-17 18:19
Forum topicType system based on epistemic modal logic? Jon Purdy2017-08-16 03:07
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
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34