recent posts

typetitleauthorlast post sort icon
StoryBreaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures naasking2014-09-24 06:16
Forum topicAutomatically Deriving Mutable Data Structures? naasking2014-09-22 14:11
Forum topicCall for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: September 19!) Alan Schmitt2014-09-22 06:16
Forum topicOptimisation by repeated beta- and eta-reduction L Spice2014-09-22 01:00
StoryInside the Wolfram Language bashyal2014-09-21 05:59
StoryScala woes? Ehud Lamm2014-09-20 21:18
Forum topicWho Needs Garbage Collection? Keean Schupke2014-09-20 06:41
StoryWhat's in store for the most widely used language by discerning hackers? Ehud Lamm2014-09-18 04:37
Forum topicExtended Axiomatic Language Walter W. Wilson2014-09-17 19:28
StoryLuca Cardelli Festschrift Ohad Kammar2014-09-17 14:34