typetitleauthorlast post sort icon
Forum topicExpressing the Type of a While Loop cdiggins2006-08-06 20:39
Forum topicCat version 0.2 cdiggins2006-06-17 21:39
Forum topicCat Language Download, Sources, and Introduction cdiggins2006-05-30 18:47
Forum topicThe Cat Programming Language cdiggins2006-05-18 16:17
Forum topicDesigning a Type Notation for a Stack Based Functional Language cdiggins2006-05-12 20:02
Forum topicOptimization - Symmetric Reductions cdiggins2006-05-11 04:08
Forum topicParameteric Polymorphism from a C++ Perspective (good or bad?) cdiggins2006-05-10 20:57
Forum topicFilter-Reduce Optimization cdiggins2006-05-02 16:16
Forum topicContract Verification and Structural Subtyping of Interfaces cdiggins2006-03-13 16:59
Forum topicSignature Based Polymorphism, Structural Subtyping and Duck Typing cdiggins2006-03-02 16:04
Forum topicConcatenation Operators in Unimperative cdiggins2006-02-16 05:27
Forum topicA-Posteriori Subtyping: Which Languages? cdiggins2006-01-31 03:52
Forum topicImplicit Behavioral Subtyping cdiggins2006-01-13 03:47
Forum topicFunctions as Classes: Which languages? cdiggins2005-07-02 12:45
Forum topicUnimperative Programming Language - Teaser cdiggins2005-02-04 04:31
Forum topicANN: YARD Parser cdiggins2005-01-08 10:48
Forum topicDefinition of Type cdiggins2004-12-09 11:42
Forum topicWhat's a definition of "type" that beginners can understand? Toby Donaldson2004-12-06 00:33
Forum topicMaking C++ more Object-Oriented cdiggins2004-11-29 12:33
Forum topicHeron Language Specification cdiggins2004-10-22 17:43
Forum topicMetaprogramming in Heron cdiggins2004-09-26 17:49
Forum topicTree programming languages Matt Estes2004-09-13 12:23
Forum topicYet another programming language forum cdiggins2004-09-13 03:59