Lambda the Ultimate

type	title	author	last post
Forum topic	What is computation? Concurrency versus Turing's Model analogy considered harmful by el-vadimo Mike Davey's TM by el-vadimo Re: broken link by el-vadimo	Hewitt	2011-02-22 13:52
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Re: …it never dawned on them… by el-vadimo redefining professionalism by el-vadimo	Ehud Lamm	2010-12-29 19:26
Forum topic	The Myths of Object-Orientation let's quote Alan Kay by el-vadimo RoarVM by el-vadimo A Stack is not an object. What is? by el-vadimo ⨯-ref by el-vadimo late-bound familial ties by el-vadimo Re: Scott McKay is the original tragedy/farce citation in PL by el-vadimo single dispatch is of the essence by el-vadimo psychiatry of object orientation by el-vadimo objects ≣ closures by el-vadimo (temporary) direct URL to the paper by el-vadimo ...	el-vadimo	2010-12-21 17:28
Story	program verification: the very idea Jevons paradox by el-vadimo hardware verification by el-vadimo SECD verification project by el-vadimo on playing catch-up by el-vadimo have checker, will verify by el-vadimo allez en avant, et la foi vous viendra by el-vadimo moral hazard by el-vadimo verifying compiler: the grand challenge by el-vadimo ceci n'est pas une pipe by el-vadimo wget --recursive --no-parent http://vstte.ethz.ch/Files/ by el-vadimo ...	el-vadimo	2010-12-17 18:21
Story	A Preliminary Survey on Functional Programming fear and loathing by el-vadimo out of context by el-vadimo on physicists by el-vadimo non-snarky approach to selling FP to the masses by el-vadimo	Ehud Lamm	2010-12-14 05:28
Forum topic	Lambda the Ultimate seems an Overstatement (not) Kay's lament by el-vadimo jamming (disambiguation) by el-vadimo	Ed Earl Ross	2010-12-13 19:44
Story	The Fortress Language Spec v0.618 a PL better than Java deemed an enormous challenge by el-vadimo	Dave Herman	2010-12-13 04:24
Story	Seven Languages in Seven Weeks beyond Bruce Tate by el-vadimo	Ehud Lamm	2010-12-03 20:42
Story	If Programming Languages were <T> if programming languages were cars by el-vadimo	Chris Rathman	2010-11-30 14:05
Forum topic	A book on Racket? Greenspun's 9th by el-vadimo	spdegabrielle	2010-11-27 17:19
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
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