Lambda the Ultimate

type	title	author	last post
Forum topic	Cost of provably-correct code Exact citation by Ronny Wichers Schreur	Ehud Lamm	2013-07-06 19:56
Story	Tail call elimination decorator in Python Tail recursion vs. tail call by Ronny Wichers Schreur	Kay Schluehr	2011-03-28 01:40
Story	Good Ideas, Through the Looking Glass More recent stuff on PCC and JVM by Ronny Wichers Schreur	Ehud Lamm	2011-01-15 17:04
Story	Guido: Language Design Is Not Just Solving Puzzles The state of Software Engineering by Ronny Wichers Schreur IT Failure Rates, with correct link by Ronny Wichers Schreur	Ehud Lamm	2011-01-05 17:06
Forum topic	expressivity of "idiomatic C++" Sharing vs. reevaluation by Ronny Wichers Schreur Count multiplications by Ronny Wichers Schreur More than one for each output element by Ronny Wichers Schreur No duplicate composites by Ronny Wichers Schreur Smoothies by Ronny Wichers Schreur 7-zip compressed? by Ronny Wichers Schreur Approximation by Ronny Wichers Schreur Top-level sharing by Ronny Wichers Schreur Local infix operator # (merge) by Ronny Wichers Schreur Conciseness by Ronny Wichers Schreur	el-vadimo	2010-11-10 22:56
Forum topic	System-level Static Analysis Some related work by Ronny Wichers Schreur	David Teller	2009-07-25 00:53
Forum topic	Target Backend for a Uniquely Typed Language Clean perhaps? by Ronny Wichers Schreur	Chris Nicholls	2009-06-22 16:04
Forum topic	The deBrujin Criterion and the "LCF Approach". Earlier reference by Ronny Wichers Schreur Coq not strictly LCF by Ronny Wichers Schreur	Jason Dusek	2009-04-29 22:57
Forum topic	Writing an interpreter, targeting a VM or writing from scratch? CLR has tail calls by Ronny Wichers Schreur	Johan Tibell	2009-04-28 20:09
Forum topic	Lazy Graph Reduction and abstract machines Plasmeijer & Van Eekelen book for free by Ronny Wichers Schreur	Sean Gillespie	2008-10-02 16:00
Forum topic	A Growable Language Manifesto Clean is LGPL by Ronny Wichers Schreur	RobJellinghaus	2007-12-24 20:01
Forum topic	Weak normalisation theorem for typed lambda-calculus Free by Ronny Wichers Schreur Explanation by Ronny Wichers Schreur	ilSignorCarlo	2007-12-07 15:41
Forum topic	Lambda Calculus: fixed point theorem help Hint by Ronny Wichers Schreur	ilSignorCarlo	2007-09-19 23:09
Story	OOP Is Much Better in Theory Than in Practice Pointer by Ronny Wichers Schreur interactiveProgram :: World -> World by Ronny Wichers Schreur PROC is nothing more than fun by Ronny Wichers Schreur	Ehud Lamm	2007-06-18 22:39
Forum topic	Total Functional Programming Termination easier than complexity by Ronny Wichers Schreur	Greg Buchholz	2007-05-27 20:18
Story	Termination Checking with Types Definition of Partial Correctness by Ronny Wichers Schreur	neelk	2007-02-09 20:53
Forum topic	Call by push-value PhD Thesis is available by Ronny Wichers Schreur	Denis Bredelet -jido	2007-01-16 11:07
Story	Why numbering should start at 0 Undefined pointer arithmetic by Ronny Wichers Schreur	Luke Gorrie	2007-01-10 17:16
Forum topic	unchecked exceptions are like runtime type checking? CoC is SN by Ronny Wichers Schreur	lumpynose	2006-12-13 09:40
Story	PVS goes open source Seventeen Proof Assistants by Ronny Wichers Schreur	Ehud Lamm	2006-12-12 04:36
Story	Linear types for aliased resources Uniqueness vs. linear typing by Ronny Wichers Schreur Optimisations may interfere by Ronny Wichers Schreur	Ehud Lamm	2006-12-07 16:10
Forum topic	Lambda Calculus In Java Confused by Ronny Wichers Schreur	kaveh.shahbazian	2006-08-29 05:12
Story	Early retirement? Dual by Ronny Wichers Schreur	Ehud Lamm	2006-08-18 18:32
Forum topic	help with [Barendregt & Barendsen, 1994] More recent version by Ronny Wichers Schreur	Jason Dusek	2006-08-16 18:46
Forum topic	The solution to all your troubles... Nihilistic Lisp by Ronny Wichers Schreur	Ehud Lamm	2006-07-29 17:38
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