recent posts

typetitleauthorlast post sort icon
Forum topicRe-thinking Prolog Alex 12014-09-15 09:21
Forum topicFunction arity with currying and call-by-push-value Blaisorblade2014-09-15 09:15
StoryAn operational and axiomatic semantics for non-determinism and sequence points in C gasche2014-09-14 10:02
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
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
Forum topicLanguages without operator precedence Douglas McClean2014-09-10 20:40
Forum topicLtU database problem Blaisorblade2014-09-10 14:27
Forum topicSPLASH 2014 - Call For Participation craiganslow2014-09-09 21:30