Lambda the Ultimate

type	title	author	last post
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) DL may choose to forbid by marshall	Hewitt	2015-06-25 00:05
Forum topic	Small is Beautiful: the design of Lua What I don't like is Lua's by marshall I was wondering if other by marshall	bashyal	2012-02-07 14:33
Story	Simplicial Databases "Global Table" = Universal Relation by marshall	neelk	2011-02-22 19:16
Forum topic	Parameterized Modules Romeo said it best by marshall Same as giving up by marshall Whole Lot of Declarations? by marshall	cdiggins	2010-01-09 20:50
Story	Patrick Logan on Software Transaction Memory Transactions by marshall Ad-hoc Transactional Protocols Considered Harmful by marshall I don't see the concern by marshall contains no actual arguments by marshall	Ehud Lamm	2009-10-26 21:48
Story	Notes on Introduction To Algorithms Fundamental Nature? by marshall	Chris Rathman	2009-10-05 17:19
Forum topic	Most powerful terminating semantics? C is not a regular language by marshall Uncalled for by marshall	dataangel	2009-07-15 16:49
Story	PL Grand Challenges Answer: humans by marshall	Ehud Lamm	2009-02-10 16:09
Forum topic	Q: Modularizing SQL? Data management is its own field by marshall Does it have ... ? by marshall "Computation performed by by marshall Here there be (second order) dragons by marshall There's functional and then there's *functional* by marshall Calculus vs. Algebra by marshall Does this really solve anything? by marshall Nominal Typing vs. Joins by marshall You're already further than most by marshall	sciomako	2008-11-15 13:40
Story	The Transactional Memory / Garbage Collection Analogy Beautiful analogy by marshall	Tommy McGuire	2008-09-19 18:33
Story	Clojure's Approach to Identity and State Erlang is cumbersome? by marshall	James Iry	2008-09-16 09:58
Forum topic	FP in D 2.0 It's a point of view based by marshall Too Strong by marshall What is a side-effect? by marshall What sense of "wrong" by marshall I liked slide 32 by marshall	raould	2008-07-25 20:49
Forum topic	In search for a programming language to replace spreadsheets. Don't laugh by marshall	Søren Haagerup	2008-07-24 18:52
Story	Simon Peyton Jones: Beautiful concurrency Sounds interesting by marshall	Ehud Lamm	2008-06-03 09:53
Forum topic	(noob question) method parameters in co-and-contravariance issue Not really covariance by marshall	chihiro	2008-01-31 12:47
Forum topic	Flower: a new way to write web services link broken by marshall	Thomas Lord	2008-01-23 19:36
Forum topic	Formal methods for O/R mapping Encapsulation is better than nothing by marshall I've lost track of what your critique is of by marshall That would be me by marshall	Andris Birkmanis	2007-08-19 00:29
Forum topic	What's in a name: eval vs apply. Forgive me for asking the obvious by marshall	cdiggins	2007-05-24 09:23
Forum topic	Is Integer wrapping an exceptional condition? The + in Z is a subset of by marshall My comment wasn't a reply to by marshall 3 = 3, still by marshall A Three is a Three is a Three by marshall In algebra, integers by marshall	mansu	2007-05-21 23:34
Forum topic	Why can't you push instructions in MSIL/JVML What does this mean exactly? by marshall When JIT happens by marshall	cdiggins	2007-04-11 04:22
Forum topic	Non-Applicative Functional Languages The "algebra" of programs is by marshall	cdiggins	2007-03-09 17:18
Story	First Class Relationships in an Object-oriented Language How so? by marshall	neelk	2007-02-05 08:17
Story	Ninety-nine Lisp Problems I don't understand the point by marshall What exactly is an effect? by marshall	Ehud Lamm	2007-01-24 18:03
Forum topic	Overloading : Why do some languages leave it out? The problem with the by marshall	cdiggins	2006-08-08 21:28
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