Dave Griffith

typetitle sort iconauthorlast post
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicFrom Programming Language Design (PLD) to Programmer Experience Design (PXD) Sean McDirmid2015-05-20 12:15
Forum topicMinimal implementation of state machines giuseppemag2014-02-01 05:12
Forum topicA glimpse into a new general purpose programming language under development at Microsoft Charles Torre2014-01-27 05:08
Forum topicLess is more. Rys McCusker2014-01-19 13:05
Forum topicxkcd: Functional Sean McDirmid2013-11-05 20:23
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topicMinimally typed programs? Mihai Christodorescu2012-11-12 13:48
Forum topicLet's fix spreadsheets Robbert van Dalen2012-11-03 12:23
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
Forum topicHigher order versus Object order Francis McCabe2012-05-17 17:45
Forum topicAn Accidental Simula User, Luca Cardelli Isaac Gouy2011-09-15 12:44
StoryRob Pike: Public Static Void Ehud Lamm2011-07-10 18:36
StoryGood Ideas, Through the Looking Glass Ehud Lamm2011-01-15 17:04
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
Forum topicType systems for structured languages Sean McDirmid2010-12-29 00:36
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
Forum topicDependency injection via parameterized types (?!) Manuel J. Simoni2010-09-08 08:40
Forum topicTheoretical Computer Science StackExchange Beta now open S. Clover2010-08-30 20:58
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
Forum topicnew kid on the block: fun4j is a new fp project for the Java VM ThomasMahler2010-08-25 21:15
Forum topicMod sys with external binding of mods to mod sigs, where all mod imports must be sigs only scottmcl2010-08-19 12:33
Forum topicsome critiques of the Semat initiative el-vadimo2010-06-16 09:30
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56