Lambda the Ultimate

type	title	author	last post
Story	This Is the Title of This Story, Which Is Also Found Several Times in the Story Itself You are about to begin... by sigfpe	Klaus Ostermann	2007-02-17 11:25
Story	Termination Checking with Types Dual property by sigfpe	neelk	2007-02-09 20:53
Forum topic	Have I Missed Something ? 'Applicative' programming? by sigfpe	seancharles	2007-01-22 23:06
Story	Why numbering should start at 0 Cardinal /= Ordinal by sigfpe	Luke Gorrie	2007-01-10 17:16
Forum topic	Why Johnny can't code Did some googling to find out more by sigfpe Language is almost irrelevant by sigfpe	Matthew Willson	2007-01-04 22:54
Forum topic	(Even more) theorems for free? So all we need now... by sigfpe Yes...but that's a different logic... by sigfpe You have me intrigued by sigfpe How can we tell? by sigfpe	Andris Birkmanis	2007-01-03 21:55
Forum topic	Abstractly typed languages (a,b,c) = (a,(b,c)) (Or by sigfpe	Matthew Willson	2006-12-15 04:58
Forum topic	unchecked exceptions are like runtime type checking? What a bizarre statement! by sigfpe	lumpynose	2006-12-13 09:40
Forum topic	Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." A fixed point by sigfpe	raganwald	2006-12-07 22:33
Forum topic	Understanding continuations Actual implementation of the above by sigfpe	Keith Devens	2006-12-06 23:43
Forum topic	Want to learn something new Barrier to entry is lower than people think by sigfpe Why I recommend Haskell by sigfpe	pureza	2006-11-12 19:49
Forum topic	The US Torture Bill as C code Oh I miss my 3270 terminal... by sigfpe	Ehud Lamm	2006-10-15 11:09
Forum topic	PHP 6 picks up GOTO and COMEFROM I'm wondering if someone has figured out... by sigfpe	Jayson Minard	2006-10-03 22:08
Forum topic	Implementing arrays How often do you see recursive inheritance? by sigfpe	dataangel	2006-09-02 09:52
Story	Comonadic Functional Attribute Evaluation I found this paper a great way to... by sigfpe	Matt Hellige	2006-08-09 19:42
Forum topic	DSLs and operator associativity/precedence False by sigfpe	dataangel	2006-07-11 05:20
Forum topic	What are the real benefits of FP? You seem to have shifted the domain of discourse by sigfpe Yes and no by sigfpe but how they are used by sigfpe Global variables by sigfpe Shorter!=Faster to Develop by sigfpe	dataangel	2006-07-09 20:03
Story	Gottfried Wilhelm Leibniz It's in the paper I link to by sigfpe He did figure out how to make holes in... by sigfpe	Niels Hoogeveen	2006-07-01 15:34
Forum topic	Church-Turning is False? Less productive? by sigfpe	Bryan Turner	2006-06-28 09:36
Forum topic	Dataflow programming for PIC microcontrollers Connect the ADC to a "weighted average of last N values" block by sigfpe I'm doing something very similar by sigfpe	Peter Scott	2006-06-18 19:46
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax Guess the syntax by sigfpe	Frank Atanassow	2006-06-12 07:49
Forum topic	Lambda the Ultimate Set Comprehension My side by sigfpe Cat vs Set by sigfpe Equality is a problem? by sigfpe Apparently, it's not so easy by sigfpe That won't do at all by sigfpe Why is everyone avoiding the issue? by sigfpe Yes, of course by sigfpe Mathematicians don't care? by sigfpe Recursive closure? by sigfpe We could try taking baby steps... by sigfpe ...	xyzzy	2006-05-17 06:05
Story	MathLang J is great but... by sigfpe	Jim Apple	2006-05-14 11:00
Story	foldl and foldr ∞ is a synonym for N by sigfpe Or... by sigfpe it would be non-standard notation. by sigfpe Are we talking at cross purposes by sigfpe I'm suggesting that... by sigfpe It kind of makes sense... by sigfpe What is the problem with = ∞ ? by sigfpe	Noel	2006-04-20 16:34
Forum topic	Purity in PLT No... by sigfpe	Jim Apple	2006-04-08 10:56
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