Lambda the Ultimate

type	title	author	last post
Forum topic	Object Oriented Programming + Referential Transparency Definitely not RT by Per Vognsen GC by Per Vognsen Zippers by Per Vognsen	mjstahl	2008-10-30 17:40
Story	Worlds: Controlling the Scope of Side Effects Worlds and Monads by Per Vognsen Worlds by Per Vognsen	Luke Gorrie	2008-10-09 23:54
Forum topic	The Next Mainstream Programming Languages Region inference by Per Vognsen Sufficient performance by Per Vognsen A* search, message-passing by Per Vognsen RAII by Per Vognsen Hot-spots by Per Vognsen	Per Vognsen	2008-09-23 10:16
Story	The MetaC Language C as its own meta-language by Per Vognsen	Ehud Lamm	2008-09-02 17:22
Forum topic	the Chinese natual language Kinesthetic by Per Vognsen	Zhu Chongkai	2008-08-19 08:55
Forum topic	Programming (language) puzzles Mobiles by Per Vognsen Solutions, and another puzzle by Per Vognsen	Chung-chieh Shan	2008-05-17 14:25
Story	newLisp: A better Lisp/Scheme Fusion... Shared memory by Per Vognsen	Brent Fulgham	2008-05-06 16:24
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Nice hack by Per Vognsen	Ben Atkin	2008-04-29 03:20
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) Foldr by Per Vognsen Crazy idea by Per Vognsen	cdiggins	2008-04-22 17:11
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Efficiency of coroutine switching by Per Vognsen	John Carter	2008-03-09 17:31
Forum topic	expressivity of "idiomatic C++" Yes by Per Vognsen Well... by Per Vognsen Python version by Per Vognsen Comments by Per Vognsen	el-vadimo	2007-12-28 14:25
Story	Tail call elimination decorator in Python MIT Scheme by Per Vognsen	Kay Schluehr	2007-08-21 06:59
Forum topic	Formal methods for O/R mapping 3 by Per Vognsen Joins by Per Vognsen Joins by Per Vognsen Strawman by Per Vognsen Tedious by Per Vognsen Network model by Per Vognsen Tengo una maleta blanca by Per Vognsen Domain model by Per Vognsen Domain model by Per Vognsen The n+1 problem by Per Vognsen	Andris Birkmanis	2007-08-19 00:29
Forum topic	Partial evaluation applied to high speed lighting preview Ray tracing by Per Vognsen	sigfpe	2007-07-30 22:25
Story	De-Scheming MIT? R6RS by Per Vognsen	Kay Schluehr	2007-04-11 04:07
Story	An Intensional Type Theory: Motivation and Cut-Elimination Sure by Per Vognsen	neelk	2007-03-19 11:13
Forum topic	What Makes Erlang Processes Tick? Implementation techniques by Per Vognsen	mjstahl	2007-01-29 19:09
Forum topic	Transparent Persistence runST by Per Vognsen ST monad by Per Vognsen Memoization and unsafePerformIO by Per Vognsen Types and state by Per Vognsen Similar approach by Per Vognsen	playergiro	2006-12-20 17:31
Forum topic	unchecked exceptions are like runtime type checking? Test suite by Per Vognsen	lumpynose	2006-12-13 09:40
Story	Natural Deduction Reading for Beginners TAPL by Per Vognsen	cdiggins	2006-12-12 19:50
Forum topic	SK Calculus not Consider SeKsy? Abstract Machines by Per Vognsen	cdiggins	2006-12-03 18:56
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! Moggi's view of computational monads by Per Vognsen	kaveh.shahbazian	2006-11-08 17:16
Story	Sage: A Programming Language With Hybrid Type-Checking Great paper by Per Vognsen	Paul Snively	2006-11-02 17:52
Forum topic	Delevoping a new language... Kernel language approach by Per Vognsen	D.G.Gaev	2006-10-27 07:42
Forum topic	Block-scope Scheme's BEGIN by Per Vognsen	mrpingouin	2006-10-18 15:00
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