Lambda the Ultimate

type	title	author	last post
Forum topic	Are scalars "just" degenerate matrices? The real problem is that to by marco Are there implementations which solved Unicode lexing? by marco Unicode Consortium should provide Lexers by marco " Characters are the by marco Yeah, it really has become by marco	Douglas McClean	2012-09-22 21:38
Story	Oleg: An argument against call/cc Hmpf, too grumpy by marco Never doubt the wisdom of by marco I guess I thought too complex. by marco Leaky abstraction... by marco You were clear. by marco 1. Isn't any form of lazy by marco I agree. It's what you can by marco	bashyal	2012-09-13 17:06
Forum topic	A stratified implementation of a LISP-to-CIL compiler Strange... by marco Retired by marco	bryanedds	2012-09-11 21:54
Forum topic	Enso: William Cook's new programming model Oh, that... by marco Quote by marco	Rafael	2012-08-29 17:46
Forum topic	Overloading by return type without types Lovely by marco Cool by marco Great by marco + by marco Did you get what he puts in his hookah? by marco	vorov2	2012-08-12 23:50
Forum topic	The Economist: Language and Computers: Why language isn't computer code You're more harsh with the by marco I was commenting on the Article by marco Load of Crap by marco	kms	2012-08-11 20:37
Forum topic	An Executable Formal Semantics of C with Applications Anyone else investigating by marco	RobJellinghaus	2012-08-10 17:20
Forum topic	Language Implementation 101 All boils down to requirements. by marco That is basically is how my by marco If you don't want to go old-skool.. by marco Not my experience... by marco	qznc	2012-08-09 07:37
Story	Self.congratulate The C64 turned thirty by marco Well. by marco I've been here too long by marco I second that. by marco	Ehud Lamm	2012-08-06 10:41
Forum topic	Escaping the Maze of Twisty Classes Nice... ;-) by marco	Sean McDirmid	2012-08-04 10:15
Forum topic	10 Years of Purely Functional Data Structures Flattening Combinators: Surviving Without Parentheses by marco The Fall and Rise of FP by marco	Chris Okasaki	2012-08-04 01:52
Story	Interactive Tutorial of the Sequent Calculus I doubt there is a bug... by marco LOL by marco No, it was set-theoretics. by marco Oh cool by marco Counterexample by marco Uhm, to be really boring, by marco Technicalities by marco Quantifying over Thin Air... by marco Wonderful by marco Is it just me by marco ...	Manuel J. Simoni	2012-07-24 17:55
Story	How to Make Ad Hoc Proof Automation Less Ad Hoc I wouldn't know. It's a by marco Frankly, this feels by marco	Paul Snively	2012-07-24 00:43
Forum topic	Evolved Turing neural networks - Unorganized machines and the brain Darwintunes.org by marco	Cyril	2012-07-14 11:08
Forum topic	Why languages and not systems? Scratching an itch is fun? by marco	giuseppemag	2012-07-13 11:39
Forum topic	Why are exceptions not described as 'purely functional'? Well, uhm, I might not understand higher-order logic anymore.. by marco "Would the replacement of by marco Lazy evaluation _is_ by marco	bryanedds	2012-07-11 15:05
Forum topic	Emerging Languages Camp at Strange Loop Jeff Hawkins @ Numenta by marco	puredanger	2012-07-08 20:46
Forum topic	Null, bottom, etc.? - by marco It's defined by undefined=undefined. by marco It's a mess... by marco Well. Actually I was by marco This Discussion Hit Bottom by marco The Smoke Screen Evaporated by marco I understand Bottom from a Denotational Perspective by marco On second thought by marco Didn't help by marco Don't get it... by marco	oconnor0	2012-06-25 23:41
Forum topic	Pythonect (A New Programming Language) Call for Syntax! All feedback and comments are appreciated! In my experience... by marco	ikotler	2012-06-01 21:52
Forum topic	Proofs as programs Recursive Types don't Equal Computable... by marco Brainless by marco	hbrandl	2012-05-29 09:43
Forum topic	Feather: A Heapless Functional Programming Language Ah well. by marco	bryanedds	2012-05-22 15:31
Story	Social Processes and Proofs of Theorems and Programs No idea where they're at now by marco Informal by marco	Luke Gorrie	2012-03-19 13:02
Story	Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 Why go for quadratic or cubic performance? by marco JSGLR by marco Well by marco Why? by marco Praying for the End of Time by marco	Z-Bo	2012-03-06 03:02
Forum topic	Syntax Desugaring Algorithm Question Position Information by marco	bryanedds	2012-02-23 23:46
Forum topic	Teaching challenge: culturally enriching formulae-as-types Simply Typed Lambda Calculus? by marco	Charles Stewart	2012-02-18 22:10
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