typetitleauthorlast post sort icon
StoryGADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness naasking2015-10-14 15:30
Forum topicLimitations of FRP? Sean McDirmid2015-08-04 08:28
Forum topicControlling time and space Sean McDirmid2014-09-28 23:48
StoryGilad Is Right Erik Meijer2014-03-23 13:38
Forum topicSimple Question (I hope...): Forward declarations vs. "letrec" style or ML "and" style constructs scottmcl2012-12-02 19:19
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-06-22 02:59
StoryCommon Lisp: The Untold Story Manuel J. Simoni2012-05-20 23:46
StoryEffective Scala Ehud Lamm2012-02-10 17:22
Forum topicMiddle History of Logic Programming Hewitt2011-06-28 02:49
StoryOcaml 3.12 released neelk2010-08-23 14:01
Forum topicCUFP 2010 yminsky2010-08-04 21:03
Forum topicThe Rust Language Noel2010-07-27 23:17
Forum topicFunctional Programming at Jane Street yminsky2010-05-22 15:29
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicHaskell in the real world: writing a commercial program in Haskell dpmulligan2009-10-10 01:00
Forum topicSeeking examples of programming language knowledge has helped students, companies, etc. Gary T. Leavens2009-08-12 00:53
Forum topicJane Street Summer Project '09 yminsky2009-02-02 02:29
Forum topicFunctional Programming jobs at Jane Street yminsky2009-01-10 04:01
Forum topicJob board on LtU? yminsky2009-01-10 03:47