Lambda the Ultimate

type	title	author	last post
Story	First-class Macros Correction by Vesa Karvonen	James Iry	2008-09-24 03:54
Forum topic	The Next Mainstream Programming Languages Programming with Regions in the MLKit by Vesa Karvonen On RAII in higher-order languages by Vesa Karvonen	Per Vognsen	2008-09-23 10:16
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring Shrinking to avoid consing by Vesa Karvonen	scottmcl	2008-09-09 15:55
Forum topic	Is null needed? Expectations by Vesa Karvonen	BigZaphod	2008-08-09 00:52
Story	Gilad Bracha: Will Continuations continue? Have you read the article? by Vesa Karvonen Manual CPS transformation by Vesa Karvonen Escaping the Event Loop by Vesa Karvonen	Ehud Lamm	2008-08-01 02:47
Story	Scaling Type Inference Benefit by Vesa Karvonen Types in signatures by Vesa Karvonen Tell the type by looking at a function by Vesa Karvonen	Noel	2008-07-02 02:56
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Grounding the discussion by Vesa Karvonen	Ben Atkin	2008-04-29 03:20
Forum topic	Gilad Bracha: Cutting out Static Without enumerating by Vesa Karvonen Absence of capability by Vesa Karvonen Who needs GADTs? by Vesa Karvonen Phantom record of phantom booleans by Vesa Karvonen Semantic objects by Vesa Karvonen The types by Vesa Karvonen Track record by Vesa Karvonen re: Static-typing and dynamic-typing are fundamentally the same by Vesa Karvonen	Matt Hellige	2008-04-09 15:48
Forum topic	Rewriting rules for deducing properties of functions Term Rewriting and All That by Vesa Karvonen	cdiggins	2008-04-07 13:25
Forum topic	The Monad.Reader Joe's description of their software development process by Vesa Karvonen The Erlang example is data by Vesa Karvonen Still waiting for the data by Vesa Karvonen Regarding the LL1 message by Vesa Karvonen PLT not economics by Vesa Karvonen It isn't usually necessary by Vesa Karvonen Type-indexed values by Vesa Karvonen	Wouter Swierstra	2008-03-20 01:02
Forum topic	Confused Deputies in Programming Languages If you're loading by Vesa Karvonen Copying collections by Vesa Karvonen SML is almost there by Vesa Karvonen	naasking	2008-03-18 02:47
Forum topic	"Practical" advantages of lazy evaluation Re: CPS transform by Vesa Karvonen Free pass? by Vesa Karvonen Relevance by Vesa Karvonen "Space leak" sounds awful by Vesa Karvonen Re: using binary search to insert strictness annotations by Vesa Karvonen Predictability not optimality by Vesa Karvonen Use a binary search? I by Vesa Karvonen Confused by Vesa Karvonen Easier said than done by Vesa Karvonen That has already been by Vesa Karvonen ...	chinu	2008-03-11 11:16
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Regarding reuse by Vesa Karvonen	John Carter	2008-03-09 17:31
Story	When Is A Functional Program Not A Functional Program? Monomorphic types by Vesa Karvonen re: Entirely possible to reason about in all circumstances by Vesa Karvonen Lovely rhetoric, but still exactly the same by Vesa Karvonen So, it is just like C. by Vesa Karvonen Safe? by Vesa Karvonen That would be an encoding by Vesa Karvonen	neelk	2008-03-09 14:31
Forum topic	exceptions again Propagation, external stimuli, and context by Vesa Karvonen	raould	2008-02-28 18:08
Story	The Reasoned Schemer I want my money back by Vesa Karvonen	Matt Hellige	2008-02-22 11:44
Forum topic	Languages and data conversions. A large steaming pile of ugliness by Vesa Karvonen	David Ryan	2008-02-14 21:32
Story	The Design and Implementation of Typed Scheme Functions not arguments by Vesa Karvonen Encoding by Vesa Karvonen New and old terms by Vesa Karvonen Nope by Vesa Karvonen Use of module system by Vesa Karvonen Argument type dependent functions by Vesa Karvonen	Ehud Lamm	2008-02-08 03:56
Forum topic	Really un-mutable Scheme eqv? by Vesa Karvonen Kudos for gutsy language changes! by Vesa Karvonen	raould	2008-01-29 22:20
Forum topic	Examples of large-scale functional language projects My comment was intended for everyone by Vesa Karvonen Keep your FUD on your own blog by Vesa Karvonen	Luke Flemmer	2008-01-06 18:44
Forum topic	Subtext 2 Video Having watched the first 10 by Vesa Karvonen	SamK	2008-01-02 08:54
Forum topic	expressivity of "idiomatic C++" Order-PP was my hobby project by Vesa Karvonen Paul Mensonides is probably t by Vesa Karvonen	el-vadimo	2007-12-28 14:25
Story	Samurai - Protecting Critical Data in Unsafe Languages Counting by Vesa Karvonen Parametricity and ML by Vesa Karvonen	Ehud Lamm	2007-11-27 16:54
Forum topic	ErlOCaml ML + Erlang by Vesa Karvonen	dbfaken	2007-11-15 16:57
Forum topic	Searching for a quote Discrete Systems by Vesa Karvonen	paul_butcher	2007-10-31 00:13
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