recent posts

typetitleauthorlast post sort icon
Forum topicGood books on theoretical aspects of type theory when it applies to computer science and languages Carter Cheng2016-04-06 19:47
StoryType Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance naasking2016-04-04 11:30
Forum topicBest opening sentence ever, in a paper on S-Exprs for IDEs. raould2016-04-02 22:53
Forum topicSFI Talk: Four the hard way: Computer design and living software marco2016-04-02 22:01
Forum topicOnward 2016 call Sean McDirmid2016-04-01 13:09
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40
Forum topicFabula programming language rmovchan2016-04-01 04:16
Forum topicEarl Grey; the story of a new programming language Greg Buchholz2016-03-31 23:37
Forum topic¿How can a dynamically typed language not actively prevent static checking? raould2016-03-31 23:06
Forum topicIs the "Getting started"-guide up-to-date? filipallberg2016-03-29 06:03