recent posts

typetitleauthorlast post sort icon
Forum topicThe Platonic Solids of Software Construction and Their Realization in C bryanedds2017-09-22 01:02
StoryA unified approach to solving seven programming problems Ehud Lamm2017-09-21 13:06
Forum topicNon-determinism: a sublanguage rather than a monad Greg Buchholz2017-09-20 21:52
Forum topicA Framework for Gradual Memory Management jondgoodwin2017-09-14 22:41
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