Sjoerd Visscher

typetitleauthorlast post sort icon
Forum topicLooking for an auto-lifting language. robmeyers2008-08-23 16:03
Forum topicthe Chinese natual language Zhu Chongkai2008-08-19 08:55
StoryGilad Bracha: Will Continuations continue? Ehud Lamm2008-08-01 02:47
Forum topicYield Prolog DougRansom2008-07-30 22:45
StoryThe Development of Intuitionistic Logic Charles Stewart2008-07-21 16:40
Forum topicLet's make a programming language! Achilleas Margaritis2008-07-16 11:11
Forum topicWhy type systems are interesting Anton van Straaten2008-07-07 14:16
Forum topictype-checking programs with unknown types Adrian Quark2008-06-30 07:18
Forum topicWriting a new language - ideas? david yang2008-06-24 16:47
Forum topicAlgebraic Data Types in JavaScript Sjoerd Visscher2008-06-18 21:59
Story Species: making analytic functors practical for functional programming neelk2008-05-30 04:45
StoryPure, Declarative, and Constructive Arithmetic Relations Ehud Lamm2008-03-17 19:38
StoryThe Reasoned Schemer Matt Hellige2008-02-22 11:44
Forum topicwidth still fixed? raould2008-01-16 00:55
Forum topicexpressivity of "idiomatic C++" el-vadimo2007-12-28 14:25
StoryThe Haskell Programmer's Guide to the IO Monad --- Don't Panic Ehud Lamm2007-11-22 21:30
StoryThe Fortress Language Spec v0.618 Dave Herman2007-11-21 20:59
Forum topicComprehensions with ‘Order by’ and ‘Group by’ Isaac Gouy2007-08-28 10:31
StoryTail call elimination decorator in Python Kay Schluehr2007-08-21 06:59
Forum topicMerging Functions, Modules, Classes, the whole nine yards... Jason Dusek2007-08-02 21:13
StoryA Topos Foundation for Theories of Physics Matt Hellige2007-07-27 11:42
Forum topicQuestions on an improved CPS mechanism for JavaScript Jeffrey Winter2007-07-23 13:11
StoryICFP contest in progress! neelk2007-07-22 20:20
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2007-07-13 19:27
Forum topicGood Language Design Principals for Scripting Languages Robert Pickering2007-07-08 14:01