recent posts

typetitleauthorlast post sort icon
StoryScala woes? Ehud Lamm2014-09-14 17:03
Forum topicRe-thinking Prolog Alex 12014-09-14 14:11
StoryAn operational and axiomatic semantics for non-determinism and sequence points in C gasche2014-09-14 10:02
Forum topicFunction arity with currying and call-by-push-value Blaisorblade2014-09-14 09:23
Forum topicOptimisation by repeated beta- and eta-reduction L Spice2014-09-13 23:51
Forum topicRequest For Advice and Guidance On Writing a Scheme To C Compiler? Alex 12014-09-13 23:33
Forum topicHigher abstraction through NLP and automatic code derivation? Peter Samarin2014-09-12 18:20
StoryLuca Cardelli Festschrift Ohad Kammar2014-09-12 15:53
Forum topicNew Wiki about Structured Backus-Naur Form? ivanvodisek2014-09-11 18:20
Forum topicPatent on "safe" transitive immutability for object types — prior art? Blaisorblade2014-09-11 18:18