Sjoerd Visscher

type sort icontitleauthorlast post
Forum topicMultiple overloads of the bind operator giuseppemag2010-03-08 21:56
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicUnifying map and mapM through subtyping? Douglas McClean2010-02-28 14:57
PageFunctional Pearl: Implicit Configurations —or, Type Classes Reflect the Values of Types naasking2009-12-28 17:17
StoryFunctional Programming Has Reached The Masses; It's Called Visual Basic Erik Meijer2009-11-01 20:12
Forum topicShould method names be (module-) scoped? Manuel J. Simoni2009-10-04 15:38
Forum topicCategories, the homemade object system mikel evins2009-08-31 04:50
StoryRichard Feynman and the Connection Machine Luke Gorrie2009-06-08 11:11
Forum topicthe Chinese natual language Zhu Chongkai2009-06-01 13:06
Forum topicDeriving Functions to Work on Different Types of Data Jules Jacobs2009-05-31 10:45
Forum topicGenerating nested data types at runtime rob myers2009-03-22 17:56
Forum topicDeclarative layout and/or UI languages? naasking2009-02-18 10:05
Forum topicNon-standard type theories for FP marco2009-01-25 03:59
Forum topic"Determinism" of types? ellisk2009-01-06 17:36
StoryWorlds: Controlling the Scope of Side Effects Luke Gorrie2008-10-09 23:54
Forum topicLooking for an auto-lifting language. robmeyers2008-09-30 14:22
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
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 topictype-checking programs with unknown types Adrian Quark2008-06-30 07:18
Forum topicWriting a new language - ideas? windozer2008-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