Lambda the Ultimate

type	title	author	last post
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	2010-11-10 22:56
Forum topic	Types/Ordering of canonical FP compiler transforms and optimizations? MLton Compiler Overview by Vesa Karvonen	scottmcl	2010-06-02 01:39
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	2010-01-24 13:32
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! type Randomised a by Vesa Karvonen	kaveh.shahbazian	2009-09-25 08:54
Story	Cforall Universal Type by Vesa Karvonen	Jim Apple	2009-07-21 01:47
Forum topic	The Church-Turing Thesis: Breaking the Myth I doubt that my brain... by Vesa Karvonen Termination of TMs by Vesa Karvonen Obsessed to control effects by Vesa Karvonen	naasking	2009-07-18 00:45
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Regarding reuse by Vesa Karvonen	John Carter	2009-05-23 23:23
Story	LtU: blog not forum! Well, howabout just letting by Vesa Karvonen Voting/Ranking system by Vesa Karvonen	Ehud Lamm	2009-02-14 14:11
Forum topic	Object Oriented Programming + Referential Transparency On modularity and laziness by Vesa Karvonen Eager Haskell during GC by Vesa Karvonen Garbage collecting space leaks due to laziness? by Vesa Karvonen Reasoning about space consumption modularly by Vesa Karvonen I wrote curryspondence, a by Vesa Karvonen	mjstahl	2008-10-30 17:40
Forum topic	Currying != Generalized Partial Application?! Staging by Vesa Karvonen	cdiggins	2008-10-29 20:58
Forum topic	Constructor classes Mechanism over ability by Vesa Karvonen	jdgallag	2008-10-27 04:00
Story	First-class Macros Correction by Vesa Karvonen	James Iry	2008-09-24 03:54
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	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	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
first page previous page 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