Lambda the Ultimate

type	title	author	last post
Forum topic	Clojure's Solutions to the Expression Problem reference? (Re: full abstraction) by el-vadimo clerical note by el-vadimo monkey patching by el-vadimo from the horse's mouth by el-vadimo	fogus	2010-11-27 07:21
Forum topic	A Self-Checking Type System keeping it simple by el-vadimo	munificent	2010-11-24 02:36
Forum topic	Why are objects so unintuitive? Re: reference to Kay's comment by el-vadimo	Lee Chou	2010-11-19 19:07
Forum topic	First-class environments. Discuss. ;) ⨯-reference by el-vadimo	Manuel J. Simoni	2010-11-18 13:31
Story	De-Scheming MIT? Sussman's comment at ILC’09 by el-vadimo	Kay Schluehr	2010-11-16 20:43
Story	Conservative Logic garbage collector is a refrigerator by el-vadimo	James Iry	2010-11-16 01:17
Forum topic	Forth in Lisp along the same lines… by el-vadimo ⨯-reference by el-vadimo	WarrenWilkinson	2010-11-15 18:56
Forum topic	expressivity of "idiomatic C++" Scala 2.8.1 by el-vadimo still broken under Scala 2.6... by el-vadimo Haskell-to-Scala translation by el-vadimo from Lakatos back to Hamming by el-vadimo Myths and ideology in mathematics by el-vadimo Perl implementation with lazy streams by el-vadimo back to the drawing board by el-vadimo Re: Space Complexity -- Haskell wins by el-vadimo Re: Death by a thousand cuts (!/0) by el-vadimo expected Haskell behavior in pseudo-code by el-vadimo ...	el-vadimo	2010-11-10 22:56
Forum topic	Design Principles Behind Smalltalk future work by el-vadimo shark-infested waters by el-vadimo beyond Smalltalk by el-vadimo certifiably visionary Alan Kay by el-vadimo BYTE Magazine, August 1981 by el-vadimo Lively Kernel by el-vadimo the Forth approach to operating systems by el-vadimo outline by el-vadimo	el-vadimo	2010-11-09 17:15
Story	Machine Obstructed Proof ⨯-reference by el-vadimo	Tommy McGuire	2010-11-08 18:57
Forum topic	The barrier to take-up of language innovation theorists vs. experimentalists by el-vadimo	ad1mt	2010-11-06 03:26
Forum topic	Concurrent Composition and Algebras of Events, Actions, and Processes Re: Cantrill’s “concurrency hucksters and shysters” by el-vadimo xref by el-vadimo	raould	2010-10-31 20:45
Forum topic	"A Theory of Interprocess Communication" -- Leslie Lamport how fast is your computer? by el-vadimo Buridan's take on concurrency by el-vadimo	Thomas Lord	2010-10-22 13:32
Forum topic	Data schema languages Frank is back? by el-vadimo	Matthew Willson	2010-08-10 12:24
Forum topic	happy rebirth day, LtU NG! PHP FTW by el-vadimo Re: New site by el-vadimo the old site being… by el-vadimo	el-vadimo	2010-06-25 17:55
Forum topic	plt vs. something else for programming in the large? construction in the large by el-vadimo Garmisch, 1968 by el-vadimo footnotes by el-vadimo mathematical chauvinism by el-vadimo Turing's oracle machine by el-vadimo great principles of computing by el-vadimo malleability of software by el-vadimo definition of a powerful argument by el-vadimo	raould	2010-06-17 01:07
Forum topic	some critiques of the Semat initiative Re: non-formalized predictive theories by el-vadimo Re: Software engineering ≠ civil engineering by el-vadimo the engineering of process and the process of engineering by el-vadimo non-formalized predictive theories by el-vadimo	el-vadimo	2010-06-16 09:30
Forum topic	Inspiring Papers how complex systems fail by el-vadimo	SamK	2010-05-24 15:10
Forum topic	Spam filters xref to an update by el-vadimo	Charles Stewart	2010-05-19 16:45
Story	On Iteration and don't forget … by el-vadimo	Manuel J. Simoni	2010-05-17 10:39
Story	A few billion lines of code later: using static analysis to find bugs in the real world alternative summary by el-vadimo the bus by el-vadimo totalitarian principle by el-vadimo	Allan McInnes	2010-04-23 11:28
Story	Clojure’s Mini-languages 20% of C++ by el-vadimo	Ehud Lamm	2010-04-13 03:46
Forum topic	Jean put dire comment on tape malbolge, masochism, etc. by el-vadimo	el-vadimo	2010-04-12 17:56
Forum topic	Tcl the Misunderstood The Great Tcl Debate of 1994 by el-vadimo	namin	2010-04-09 02:54
Story	A Formal System For Euclid's Elements Barwise's paper by el-vadimo 124 pages by el-vadimo	neelk	2010-04-08 16:57
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation