recent posts

typetitleauthorlast post sort icon
Forum topicWhat would be involved in moving logic beyond FOL? Charles Stewart2017-06-27 05:26
StoryType Systems as Macros naasking2017-06-25 11:19
Forum topicC runtime type info gimmick which supports scripting Rys McCusker2017-06-23 23:08
StoryCo-hygiene and quantum gravity Manuel J. Simoni2017-06-17 16:22
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