Z-Bo

typetitleauthorlast post sort icon
Forum topicLISP and parentheses Budsy2010-02-02 19:11
Forum topicDeclarative binding vs. composition Sean McDirmid2010-02-02 15:30
Forum topicDiscoverability, Language Features, and the First Step Toward Composition scottmcl2010-02-01 20:19
StoryEffective Interactive Proofs for Higher-Order Imperative Programs Paul Snively2010-02-01 03:18
Forum topicTRIZ plus Axiomatic Design raould2010-02-01 02:23
Forum topicDeclarative reactive tables Sean McDirmid2010-01-31 23:52
Forum topicHistorical or sociological studies of programming language evolution? lmeyerov2010-01-28 22:21
StoryProject Sikuli Kay Schluehr2010-01-28 17:28
Forum topicare rewrite systems really the bee's knees raould2010-01-27 19:02
Forum topicTwo new tags Z-Bo2010-01-27 06:26
Forum topicThe Theory and Calculus of Aliasing Bertrand_Meyer2010-01-27 01:40
Forum topicsee history of things i started (vs. commented on)? raould2010-01-26 19:11
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicAcademic advice: Mathematics or Computer Science? guerrilla_thought2010-01-23 19:57
StoryClojure 1.1 and Beyond Ehud Lamm2010-01-22 16:48
Forum topicSyntax of Literal Tables (Assocative Collections) and Auto-generated fields cdiggins2010-01-21 22:49
StoryWhy Normalization Failed to Become the Ultimate Guide for Database Designers? Z-Bo2010-01-20 15:04
StoryWhy API Design Matters Leon P Smith2010-01-16 12:20
StoryCertified Programming With Dependent Types Goes Beta Paul Snively2010-01-16 00:10
Forum topicmost water-tight real-world language implementation? raould2010-01-15 23:08
StoryScalaModules: a DSL for bringing OSGi to Scala Z-Bo2010-01-12 16:39
Forum topicmore power and less verbiage el-vadimo2010-01-11 21:02
Forum topicParameterized Modules cdiggins2010-01-09 20:50
StoryThe AI Systems of Left 4 Dead Manuel J. Simoni2010-01-07 23:43
StoryThe year in review, and What's to come Ehud Lamm2010-01-07 17:30