recent posts

typetitleauthorlast post sort icon
Forum topicProgramming language Theme-D tohoyn2017-09-14 15:48
StoryProject Snowflake: Non-blocking safe manual memory management in .NET naasking2017-09-13 20:37
Forum topicType system based on epistemic modal logic? Jon Purdy2017-09-12 02:48
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 topicSK in Prolog marco2017-09-10 07:05
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
StoryProceedings of the ACM on Programming Languages Ehud Lamm2017-09-06 06:36
StoryICFP 2017 live streaming Ehud Lamm2017-09-04 08:54
Forum topicAdvancement in TDFA and POSIX submatch extraction Ulya Trofimovich2017-08-26 21:36
Forum topicSomething I forgot marco2017-08-26 06:44