recent posts

typetitleauthorlast post sort icon
StoryImplementing Algebraic Effects in C naasking2017-08-20 17:24
StoryNo value restriction is needed for algebraic effects and handlers naasking2017-08-20 17:28
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-21 14:33
StoryGraydon Hoare: What next for compiled languages? Ehud Lamm2017-08-21 15:39
Forum topicSomething I forgot marco2017-08-26 06:44
Forum topicAdvancement in TDFA and POSIX submatch extraction Ulya Trofimovich2017-08-26 21:36
StoryICFP 2017 live streaming Ehud Lamm2017-09-04 08:54
StoryProceedings of the ACM on Programming Languages Ehud Lamm2017-09-06 06:36
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
Forum topicSK in Prolog marco2017-09-10 07:05