recent posts

typetitleauthor sort iconlast post
Forum topicType classes and type generator restrictions Douglas McClean2008-07-28 09:02
Forum topicBranching constructs in intermediate languages Douglas McClean2009-11-02 22:43
Forum topicUnifying map and mapM through subtyping? Douglas McClean2010-02-28 14:57
Forum topicUnordered pairs and their representation Douglas McClean2013-05-16 16:11
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44
Forum topicData, Codata, and Their Implications for Equality, and Serialization Douglas McClean2011-10-14 15:45
Forum topicAre scalars "just" degenerate matrices? Douglas McClean2012-09-22 21:38
Forum topicShould let be generalized? Douglas McClean2010-03-12 21:18
Forum topicLanguages without operator precedence Douglas McClean2014-09-10 20:40