Douglas McClean

type sort icontitleauthorlast post
Forum topicLanguages without operator precedence Douglas McClean2014-09-10 20:40
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44
Forum topicTypographical extensions for programming languages: breaking out of the ASCII straitjacket Sean McDirmid2013-07-28 00:17
Forum topicTeaching Garbage-Collection shriramk2013-06-13 16:51
Forum topicOsmosian raould2013-05-22 00:07
StoryFoundations of Inference Paul Snively2013-05-21 03:54
Forum topicDimensional Analysis in real world and Type Systems sciomako2013-05-20 23:38
Forum topicUnordered pairs and their representation Douglas McClean2013-05-16 16:11
Forum topic"Relational Model Outgrown" CACM May 2013 Hewitt2013-05-10 01:56
Forum topicUnits and Numerical niceties. Ray Dillinger2013-01-31 16:27
Forum topicOther free theorems Matt M2012-10-05 12:00
Forum topicAre scalars "just" degenerate matrices? Douglas McClean2012-09-22 21:38
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37
Forum topicAre extensible records first class patterns? Douglas McClean2011-11-07 03:49
Forum topicData, Codata, and Their Implications for Equality, and Serialization Douglas McClean2011-10-14 15:45
StoryInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing James Iry2011-02-05 00:39
Forum topicThe AST Typing Problem shap2011-01-19 03:15
Forum topicMultiple Value Return - Common Lisp vs. Tuples and destructuring scottmcl2011-01-15 09:49
Forum topicOverlapping instances without chaos Douglas McClean2010-12-31 00:03
StoryHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Ehud Lamm2010-12-29 19:26
Forum topicBabel-17 v0.2 spec is out Steven Obua2010-12-11 00:22
Forum topicDenotational semantics with other notions of convergence Neil Toronto2010-07-04 10:11
StoryCompiling Structural Types on the JVM James Iry2010-07-02 05:05
Forum topicAdvantages of Purity giuseppemag2010-03-24 17:11
Forum topicShould let be generalized? Douglas McClean2010-03-12 21:18