typetitleauthorlast post sort icon
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
Forum topicImpact of static type systems on productivity of actual programmers: first experiment I've seen documented. Ray Dillinger2014-11-18 03:22
Forum topicOpposing Hierarchies of Complexity Keean Schupke2014-11-05 22:20
Forum topicJonathan Blow's next foray into game language design jdougan2014-10-21 20:35
StoryLtU's new server Anton van Straaten2014-10-20 16:51
Forum topicOptimisation by repeated beta- and eta-reduction L Spice2014-09-22 01:00
StoryScala woes? Ehud Lamm2014-09-20 21:18
Forum topicPatent on "safe" transitive immutability for object types — prior art? Blaisorblade2014-09-11 18:18
Forum topicLtU database problem Blaisorblade2014-09-10 14:27
Forum topicSPLASH 2014 - Call For Participation craiganslow2014-09-09 21:30
StoryApple Introduces Swift bashyal2014-08-21 17:54
Forum topicCompositional let bindings Keean Schupke2014-07-05 15:36
Forum topicThose pesky higher-rank types. Or how to type \f x y. (f x, f y) marco2014-05-26 17:22
StoryPropositions as Types Manuel J. Simoni2014-03-19 07:14
Forum topic"Down with Lambda-Lifting" dbfaken2014-02-24 17:04
StoryUsing Category Theory to Design Implicit Conversions and Generic Operators neelk2014-02-18 10:50
StoryObservational Equality, Now! James Iry2013-05-16 02:24
Forum topicMinimally typed programs? Mihai Christodorescu2012-11-12 13:48
StoryDecomposing lambda - the Kernel language Anton van Straaten2012-04-30 15:31
Forum topicWhy is tail call optimization an issue in GC'd languages? Sriram Srinivasan2011-08-02 09:20
Forum topicCatamorphisms and anamorphisms = general or primitive recursion? Blaisorblade2011-06-20 22:37
Forum topicReference Counting vs Tracing Garbage Collection? marco2010-12-10 22:27
Forum topicThis class type Denis Bredelet -jido2010-12-08 22:32
Forum topicArticles on Precise GC with Parametric Polymorphism scottmcl2010-12-08 20:52
Forum topicHaskell implementation in Javascript Cyril2010-10-10 22:30