recent posts

typetitleauthorlast post sort icon
Forum topicEliminating left recursion skaller2016-12-06 18:56
StoryPolymorphism, subtyping and type inference in MLsub gasche2016-12-02 19:39
Forum topicAny recent developments on "active libraries" that I'm missing? osa12016-12-01 19:40
Forum topicSplitting witnesses up Z-Bo2016-11-30 17:22
StoryJoe Armstrong Interviews Alan Kay Ehud Lamm2016-11-25 18:23
StorySalon des Refusés -- Dialectics for new computer science gasche2016-11-25 09:30
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicHow to name the inverse functions of constructors hbrandl2016-11-22 05:40
Forum topicResources for implementing higher-kinded types? Jon Purdy2016-11-11 10:40
StoryProving Programs Correct Using Plain Old Java Types naasking2016-11-11 00:28