Dave

typetitleauthorlast post sort icon
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
StoryFully Abstract Compilation via Universal Embedding naasking2016-08-04 09:26
Forum topicBranch Forward Only Greg Buchholz2016-07-29 20:58
Forum topicAlice, Bob, and Penthesilea: mutually suspicious code and data owners johnwcowan2016-07-29 14:27
StorySeemingly impossible programs Ohad Kammar2015-04-18 02:15
Forum topicmanaging closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Rys McCusker2015-01-10 00:45
Forum topicHow can be a interpreter faster than C (aka: kdb+) mamcx2014-12-31 14:26
Forum topicCode Completion for Generic Programming Keean Schupke2014-11-24 17:37
Forum topicA duality between exceptions and states - Dumas, Duval, Fousse, Reynaud chrisoliver2014-11-10 17:57
Forum topicOpposing Hierarchies of Complexity Keean Schupke2014-11-05 22:20
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