recent posts

typetitleauthorlast post sort icon
Forum topichow to design PL support for effects emerging from parallel non-determinism? Rys McCusker2016-06-30 12:52
Forum topicAlice, Bob, and Penthesilea: mutually suspicious code and data owners johnwcowan2016-06-30 02:20
Forum topicIs there a language with the ability to write arbitrary type functions? davidb2016-06-29 20:13
Forum topic7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers craiganslow2016-06-28 23:01
Forum topicMicroscript ivanvodisek2016-06-26 04:21
Forum topicWebAssembly ivanvodisek2016-06-24 17:31
Forum topicViability of a static type system (like ML) for a relational language? mamcx2016-06-23 11:52
Forum topicPHOG: Probabilistic Model for Code Sean McDirmid2016-06-22 00:52
StoryDynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong) naasking2016-06-18 12:52
Forum topicRecursive types skaller2016-06-17 06:02