recent posts

typetitleauthorlast post sort icon
Forum topicRestructor: Full Program Automatic Refactoring Wouter2017-06-16 21:17
Forum topicAbstractionless programming Wouter2017-06-10 16:36
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicLiving it up with a Live Programming Language Sean McDirmid2017-06-10 16:27
StoryJean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89 bashyal2017-06-08 14:50
Forum topicFree links to all (or practically all) recent SIGPLAN papers emery2017-06-04 03:32
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
Forum topicRefining Structured Type System Ivan Vodišek2017-05-30 17:40
Forum topicFinding Solutions vs. Verifying Solutions Ivan Vodišek2017-05-29 18:23
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-05-25 18:11