Lambda the Ultimate

type	title	author	last post
Forum topic	First-Class Patterns ...something like the Monad '>>' operator... by Vesa Karvonen	naasking	2024-06-14 09:03
Story	On compositionality Except that JavaScript Promise is not a monad by Vesa Karvonen	Charles Stewart	2018-10-23 17:45
Story	ECMAScript Edition 4 Reference Implementation The vast majority of working programmers by Vesa Karvonen Reviewing the code by Vesa Karvonen ES4 and Linux by Vesa Karvonen Learning to read by Vesa Karvonen Porting problems by Vesa Karvonen SML Resources by Vesa Karvonen	Dave Herman	2017-08-05 19:34
Forum topic	SK Calculus not Consider SeKsy? The Types by Vesa Karvonen	cdiggins	2017-06-10 16:33
Story	Functional Pearl: Type-safe pattern combinators Exhaustiveness checking by Vesa Karvonen Nice by Vesa Karvonen	naasking	2016-09-16 18:18
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	2015-11-20 21:56
Story	Gilad Is Right A Practical Soft Type System for Scheme by Vesa Karvonen A type safe interface is a solution once and for all by Vesa Karvonen Skipping testing by Vesa Karvonen Processes and languages by Vesa Karvonen Types make a program easier to understand and modify by Vesa Karvonen Sound of a type system by Vesa Karvonen Useful consequences of a sound type system by Vesa Karvonen Fixing errors later by Vesa Karvonen Fully-Functorial Programming and Functions That Fail by Vesa Karvonen	Erik Meijer	2014-03-23 13:38
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	2012-04-11 12:54
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring Shrinking to avoid consing by Vesa Karvonen	scottmcl	2011-01-15 09:49
Story	Guido: Language Design Is Not Just Solving Puzzles Productivity by Vesa Karvonen Incremental development environment = REPL? by Vesa Karvonen	Ehud Lamm	2011-01-05 17:06
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
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