recent posts

typetitleauthorlast post sort icon
Forum topicZenScript, A new open-source language project. Keean Schupke2016-10-01 16:48
Forum topicIndispensible use cases for record subtyping? naasking2016-10-01 02:00
StoryAutomating Ad hoc Data Representation Transformations naasking2016-09-29 18:54
Forum topicSPLASH'16 Amsterdam CFP: early registration ends Sept 30 craiganslow2016-09-28 22:00
Forum topicBottom Types Keean Schupke2016-09-27 08:08
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicCertificates/proof of work of type checking? naasking2016-09-22 06:41
StoryType Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance naasking2016-09-20 05:47
Forum topicFeedback requested: A sample implementation of L-systems in Haskell filipallberg2016-09-19 18:37
Forum topicTerm Rewrite System Implementations? Ivan Vodišek2016-09-18 00:10