el-vadimo

typetitle sort iconauthorlast post
Forum topicRun Your Research: On the Effectiveness of Mechanization lmeyerov2011-12-29 20:22
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
Forum topicGeneral purpose as a special case? Wendell2011-12-18 04:04
Forum topicREPL-schmepl? el-vadimo2011-12-07 00:25
StoryA bit of Scheming Ehud Lamm2011-12-01 13:44
Forum topicmath proofs are more robust than computer proofs raould2011-11-18 20:27
Forum topicSECD Machine - RAP? cdiggins2011-10-03 12:00
Forum topicLiterate Programming: Retrospect and Prospects el-vadimo2011-07-20 21:10
Forum topicmodules are anti-modular el-vadimo2011-06-27 17:31
Forum topicdoes your language need a memory model? el-vadimo2011-03-22 03:31
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52
StoryHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Ehud Lamm2010-12-29 19:26
Forum topicThe Myths of Object-Orientation el-vadimo2010-12-21 17:28
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
StoryA Preliminary Survey on Functional Programming Ehud Lamm2010-12-14 05:28
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
StorySeven Languages in Seven Weeks Ehud Lamm2010-12-03 20:42
StoryIf Programming Languages were <T> Chris Rathman2010-11-30 14:05
Forum topicA book on Racket? spdegabrielle2010-11-27 17:19
Forum topicClojure's Solutions to the Expression Problem fogus2010-11-27 07:21
Forum topicA Self-Checking Type System munificent2010-11-24 02:36
Forum topicWhy are objects so unintuitive? Lee Chou2010-11-19 19:07
Forum topicFirst-class environments. Discuss. ;) Manuel J. Simoni2010-11-18 13:31
StoryDe-Scheming MIT? Kay Schluehr2010-11-16 20:43