Lambda the Ultimate

type	title	author	last post
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	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	2007-12-28 14:25
Forum topic	A Growable Language Manifesto Clean is LGPL by Ronny Wichers Schreur	RobJellinghaus	2007-12-24 20:01
Forum topic	Writing an interpreter, targeting a VM or writing from scratch? CLR has tail calls by Ronny Wichers Schreur	Johan Tibell	2007-12-20 14:15
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	Tail call elimination decorator in Python Tail recursion vs. tail call by Ronny Wichers Schreur	Kay Schluehr	2007-08-21 06:59
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	System-level Static Analysis Some related work by Ronny Wichers Schreur	David Teller	2006-10-26 15:17
Story	Good Ideas, Through the Looking Glass More recent stuff on PCC and JVM by Ronny Wichers Schreur	Ehud Lamm	2006-10-23 21:48
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	Cost of provably-correct code Exact citation by Ronny Wichers Schreur	Ehud Lamm	2006-08-01 20:17
Forum topic	The solution to all your troubles... Nihilistic Lisp by Ronny Wichers Schreur	Ehud Lamm	2006-07-29 17:38
Forum topic	First Class Values, Types as values within a Programming Language Try it out yourself by Ronny Wichers Schreur	Bruce Rennie	2006-07-20 00:50
Forum topic	Amusing question Book on Coalgebra by Ronny Wichers Schreur	Ehud Lamm	2006-07-08 19:19
Forum topic	Church-Turning is False? Looping Combinator by Ronny Wichers Schreur Reference by Ronny Wichers Schreur Conor McBride on total functions by Ronny Wichers Schreur Day of the Beast by Ronny Wichers Schreur	Bryan Turner	2006-06-28 09:36
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