typetitleauthor sort iconlast post
Forum topicConjunction types jimdesu2005-12-05 16:21
Forum topicDependent types: literature, implementations and limitations ? David Teller2005-11-24 11:55
Forum topicProbabilistic languages for kids? Ehud Lamm2005-10-10 00:05
StoryGeneric implementation of all four *F* operators: from control0 to shift Ehud Lamm2005-09-27 22:59
StoryHaskell's overlooked object system Ehud Lamm2005-09-22 21:54
Forum topicLazy linear algebra Ehud Lamm2005-07-26 12:19
Forum topicDead Languages Jim Apple2005-07-11 11:14
Forum topicCall for Papers: ACM Symposium on Dynamic Languages rwuyts2005-05-17 17:28
StoryRelating FFTW and Split-Radix Ehud Lamm2005-05-14 18:17
StoryA Methodology for Generating Verified Combinatorial Circuits Ehud Lamm2005-05-14 04:05
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
StoryHow to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible Ehud Lamm2005-04-03 13:54
StorySkribe 1.2b released Dave Herman2004-11-22 02:51
Forum topicFaking it (even better) Greg Buchholz2004-09-15 23:09
StoryHigher-order module system of ML is actually possible in Haskell Ehud Lamm2004-09-15 03:16
Forum topicTail of Nil and Its Type Andris Birkmanis2004-08-08 23:21
Forum topicDatabase Theory and Type systems/Programming Languages. Matt Estes2004-07-23 19:38
Forum topicIs "type" a fundamental intrinsic property of values? Neil Madden2004-07-01 00:11
StoryCode Generation Netwrok Ehud Lamm2004-06-27 14:04