recent posts

typetitleauthorlast post sort icon
Forum topicgeneral patterns in PL persistence schemes? Rys McCusker2015-02-24 02:23
StoryMicro-Kanren Ehud Lamm2015-02-22 23:40
Forum topicMaking implicits less powerful? Vladimir Slepnev2015-02-20 16:07
Forum topicNegation in Logic Languages Keean Schupke2015-02-19 17:21
Forum topicConstraint-Based Type Inference and Parametric Polymorphism Sean McDirmid2015-02-13 23:43
Forum topicJob ads Kalani2015-02-11 23:11
Forum topicsymbols and loosely coupled concurrent apps part II Rys McCusker2015-02-10 22:23
Forum topicSome notes on Rust, the language. John Nagle2015-02-09 07:25
Forum topicComputing by deltas? Andy Fischer2015-02-06 16:26
StoryA theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation gasche2015-02-04 12:45