Dave

typetitleauthor sort iconlast post
StoryConservation laws for free! Ohad Kammar2014-10-29 16:28
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
Forum topicOptimisation by repeated beta- and eta-reduction L Spice2014-09-22 01:00
Forum topicPatent on "safe" transitive immutability for object types — prior art? Blaisorblade2014-09-11 18:18
Forum topicout of memory Rys McCusker2014-08-17 09:54
Forum topicwither formal methods? raould2014-07-22 10:22
Forum topicThe year that was: 1965. Hank Thediek2014-07-19 13:10
StoryPropositions as Types Manuel J. Simoni2014-03-19 07:14
Forum topicThe Evolution of CS Papers Sean McDirmid2014-03-11 14:09
Forum topicResilient Languages spdegabrielle2014-03-11 00:57
StoryWirth Symposium Luke Gorrie2014-03-04 20:32
StoryThe Role of Composition in Computer Programming James Hague2010-02-19 01:25
Forum topicmore power and less verbiage el-vadimo2010-01-11 21:02
StoryWhy a diagram is (sometimes) worth ten thousand words Ehud Lamm2009-06-18 20:33
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryADD 50 TO COBOL GIVING COBOL James Iry2009-05-02 10:14
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
StoryProcessing.js Ehud Lamm2008-10-30 14:18
Forum topicGAWK (GNU AWK) for AI? Todd Coram2008-08-25 05:12
Forum topicsuccinctness Curtis W2008-05-28 19:57
StoryDerivatives and dissections of data types Andris Birkmanis2008-04-23 00:45
Forum topicthe power of GNU Awk el-vadimo2008-03-31 18:05
Forum topicUnix as programming language Todd Coram2007-03-27 15:22
StoryNo Ifs, Ands, or Buts Matt Hellige2007-03-27 12:37
StoryEd Felten: Why Understanding Programs is Hard Ehud Lamm2007-03-08 19:08