Sjoerd Visscher

type sort icontitleauthorlast post
StoryMorrow & First-class Labels Frank Atanassow2014-12-28 20:26
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
Forum topicThose pesky higher-rank types. Or how to type \f x y. (f x, f y) marco2014-05-26 17:22
StoryThe Genuine Sieve of Eratosthenes Ehud Lamm2013-10-26 21:32
Forum topicWhen will we all have effect systems? raould2013-07-01 20:38
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
Forum topicOpen data types and open functions Jeremy2012-06-22 02:53
Forum topicLanguages with 'unique' programs dataangel2012-06-04 11:11
Forum topicFeather: A Heapless Functional Programming Language bryanedds2012-05-22 15:31
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
Forum topicThe evolution of RISC technology at IBM Andy Wingo2011-10-22 12:53
Forum topicData, Codata, and Their Implications for Equality, and Serialization Douglas McClean2011-10-14 15:45
StoryLightweight Monadic Programming in ML Paul Snively2011-08-10 20:39
Forum topicDanFest 2004 videos online Will Byrd2011-04-24 13:11
StoryTail call elimination decorator in Python Kay Schluehr2011-03-28 01:40
StoryInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing James Iry2011-02-05 00:39
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicWhat's the name for this model of computation? Matt M2010-05-17 18:55
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