Lambda the Ultimate

type	title	author	last post
Forum topic	Feather: A Heapless Functional Programming Language Ah well. by marco	bryanedds	2012-05-22 15:31
Forum topic	Proofs as programs Recursive Types don't Equal Computable... by marco Brainless by marco	hbrandl	2012-05-21 20:33
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	Designing a languge — what theory is a must? Unfortunately... by marco	pgregory	2012-01-03 07:01
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
Story	Open thread: RIP Steve Jobs The Last American by marco	Ehud Lamm	2011-10-27 14:14
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
Forum topic	Forum Topics and Story Mood Killer by marco +1 by marco Don't Agree by marco Hmm by marco Overhaul by marco	Henry Luo	2011-09-24 17:53
Story	Haskell for C Programmers Platonic Solids by marco They sacrificed unto devils, not to God by marco The naked purity by marco The only fence against the world is a thorough knowledge of it by marco Yeah by marco State of the world by marco Or not defendable? by marco Purity by marco	Mark Evans	2011-09-12 18:37
Forum topic	Implementor's guide/tutorial to delimited continuations? Yes, each R introduces an S by marco No idea, it never happens (I hacked it) by marco I wonder what I did by marco It would help if you would by marco	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Why is tail call optimization an issue in GC'd languages? Why Rewriting doesn't need Tail Call Optimization by marco Ah well by marco More General by marco Thanks for that comment. by marco Truth is, I have no feeling by marco Essentially contested concept by marco Well, look at your PC and try to visualize by marco Stack Allocated Objects by marco The Cost of Software by marco Except for... by marco ...	Sriram Srinivasan	2011-08-02 09:20
Story	Rob Pike: Public Static Void Hush! by marco Yeah, well, they started Ada by marco Aliasing by marco Hey, I accept that Ada is a by marco Ada by marco Point taken by marco See my post above. by marco Why? I mean that... by marco Yeah, it's subjective by marco The Problem with your Story by marco ...	Ehud Lamm	2011-07-10 18:36
Story	The Genuine Sieve of Eratosthenes Guess so by marco Hehe by marco How silly of me by marco I might be stupid by marco I think the sequence by marco O(n)? Another argument? by marco Great analysis by marco Someone ... by marco Maybe by marco In one word... by marco	Ehud Lamm	2011-07-05 17:32
Forum topic	Enso: William Cook's new programming model Oh, that... by marco Quote by marco	Rafael	2011-07-04 03:52
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