Lambda the Ultimate

type	title	author	last post
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
Story	Cambridge Course on "Usability of Programming Languages" So many bad hair days... by marco Man, whatever... by marco Bad Hair Day by marco Graph theory. Discrete math. by marco Academia is one model in which invention can happen by marco	James Iry	2012-01-06 03:55
Forum topic	2 Misconcepts About Functional Programming (relating to context and monad) Semantics by marco Liked that by marco Monads... by marco	Henry Luo	2011-12-25 09:35
Forum topic	iPhone PL lockdown Good Point by marco Battery by marco	Sean McDirmid	2011-12-24 05:49
Forum topic	Models for distributed parallelism You're not finding any by marco	Victor Eijkhout	2011-12-08 21:56
Story	What needs to be done? Basics by marco	Ehud Lamm	2011-11-07 05:29
Story	Dennis Ritchie passed away Fish by marco	Ehud Lamm	2011-10-29 02:45
Forum topic	Simple Question - Beta reduction and pattern matching (compile time, static) NP by marco I don't see the problem by marco	scottmcl	2011-10-12 13:47
Forum topic	Redesigning the Mozart virtual machine Or just copy the design by marco Truth emerges more readily from error than confusion by marco Toto, we're home. by marco Out of Budget by marco Bandwidth by marco I am a lighthouse, your call. by marco	Peter Van Roy	2011-10-04 22:20
Forum topic	Language/Compiler design blogs? No problem, I didn't work on by marco I must have done something by marco	Azh	2011-10-04 09:20
Story	Why Object-Oriented Languages Need Tail Calls We Bad? by marco Two sides by marco Wrong by marco Goto Start by marco	Leon P Smith	2011-10-01 21:58
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