typetitleauthorlast post sort icon
Forum topicProofs that do things genneth2006-11-28 11:36
StoryLightweight Static Capabilitites (II) Ehud Lamm2006-09-05 01:52
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
Forum topicHow are GADTs useful in practical programming? Klaus Ostermann2006-06-21 13:31
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
StoryNative delimited continuations in (byte-code) OCaml Ehud Lamm2006-04-12 22:38
Forum topicScoping based on control flow graph rici2006-02-08 19:55
Forum topicWhat is a Proposition? andrew cooke2006-02-03 17:04
Forum topicTowards the best collection traversal interface Neil Madden2006-01-18 23:47
Forum topicConjunction types jimdesu2005-12-05 16:21
Forum topicDependent types: literature, implementations and limitations ? David Rajchenbach-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