recent posts

typetitleauthorlast post sort icon
Forum topicjsMath support? neelk2016-12-29 16:05
Forum topicProcess Network for Effects, Monad Alternative dmbarbour2016-12-19 13:48
StoryContextual isomorphisms gasche2016-12-17 15:14
Forum topicDefining recursive function as a monad (or other solutions) Ivan Vodišek2016-12-17 08:07
Forum topicHow to name the inverse functions of constructors hbrandl2016-12-17 01:37
Forum topicEliminating left recursion skaller2016-12-13 00:23
Forum topicList of POPL 2017 papers with crowd-sourced preprint links gasche2016-12-08 18:05
Forum topicAny recent developments on "active libraries" that I'm missing? osa12016-12-08 18:01
Forum topicSplitting witnesses up Z-Bo2016-11-30 17:22
StoryJoe Armstrong Interviews Alan Kay Ehud Lamm2016-11-25 18:23