recent posts

typetitleauthorlast post sort icon
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-21 14:33
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
Forum topicBCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon paulboca2017-09-10 18:02
Forum topicType system based on epistemic modal logic? Jon Purdy2017-09-12 02:48
StoryProject Snowflake: Non-blocking safe manual memory management in .NET naasking2017-09-13 20:37