el-vadimo

typetitle sort iconauthorlast post
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
StoryConservative Logic James Iry2010-11-16 01:17
Forum topicForth in Lisp WarrenWilkinson2010-11-15 18:56
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicDesign Principles Behind Smalltalk el-vadimo2010-11-09 17:15
StoryMachine Obstructed Proof Tommy McGuire2010-11-08 18:57
Forum topicThe barrier to take-up of language innovation ad1mt2010-11-06 03:26
Forum topicConcurrent Composition and Algebras of Events, Actions, and Processes raould2010-10-31 20:45
Forum topic"A Theory of Interprocess Communication" -- Leslie Lamport Thomas Lord2010-10-22 13:32
Forum topicData schema languages Matthew Willson2010-08-10 12:24
Forum topichappy rebirth day, LtU NG! el-vadimo2010-06-25 17:55