Oleg

typetitleauthorlast post sort icon
Forum topicExtending HM type inference -- would this be possible? Or even desirable? Ingo Wechsung2007-09-16 13:28
Forum topicYearning for a practical scheme Nathan Sobo2007-08-27 03:37
Forum topicCONTEXT07. Delimited contexts in OS Oleg2007-06-02 10:54
Forum topicThe Current Practical Limit of Static Typing Noel2007-03-15 12:56
StoryLightweight static resources Ehud Lamm2007-03-15 07:27
Forum topicBlending static and dynamic typing dbfaken2007-03-09 00:44
StorySpecifying ECMAScript via ML Dave Herman2007-02-13 18:03
StoryTermination Checking with Types neelk2007-02-09 20:53
Forum topicContinuations and freeing the stack Denis Bredelet -jido2006-12-11 01:51
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
Forum topicUnderstanding continuations Keith Devens2006-12-06 23:43
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 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