typetitleauthorlast post sort icon
Forum topicCompilation/method resolution with structural subtyping scottmcl2009-01-20 19:33
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topicLearning Pragmatics of Implementing a "Modern" Type Systems scottmcl2009-01-02 22:51
StoryClojure's Approach to Identity and State James Iry2008-09-16 09:58
Forum topicOf Generics and Erasure and, of all things, GC and memory layout scottmcl2008-07-08 21:30
Forum topicType system that can type list structure? scottmcl2008-07-01 14:40
Forum topicHigher-order type constructor polymorphism vs./and template style specialization scottmcl2008-06-18 17:06
Forum topicFirst class class objects, class vs. value namespaces, etc. scottmcl2008-06-12 20:11
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
Forum topicSimple type system oriented question scottmcl2008-04-13 13:41