Lambda the Ultimate

type	title	author	last post
Forum topic	J. Schwartz died A real loss by Leon P Smith	Boyko Bantchev	2009-03-21 19:36
Forum topic	Relational database implementation paper ? Hmm... by Leon P Smith RevLex Orderings by Leon P Smith First-order Performance Issues by Leon P Smith Datalog by Leon P Smith	Archiloque	2009-03-20 17:30
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First Hmm... by Leon P Smith Reasoning? by Leon P Smith	Luke Gorrie	2009-03-14 06:49
Story	Barbara Liskov Wins Turing Award Well deserved. by Leon P Smith	Ehud Lamm	2009-03-14 04:29
Story	A New Approach to the Functional Design of a Digital Computer Yeah, I actually clicked on by Leon P Smith The B5000 by Leon P Smith	Luke Gorrie	2009-03-14 03:59
Story	From shift and reset to polarized linear logic Curry-Howard correspondence by Leon P Smith Hmm by Leon P Smith	Andris Birkmanis	2009-03-10 08:47
Forum topic	Using coalgebraic structures for traversing ADTs lazily It's now available by Leon P Smith Re: Master Theorem by Leon P Smith Interesting by Leon P Smith Now that you've shown me yours... by Leon P Smith O(n) by Leon P Smith Nice by Leon P Smith Well... by Leon P Smith Not quite. by Leon P Smith Hmm... by Leon P Smith Returning pairs of lazy values by Leon P Smith ...	marco	2009-03-10 01:49
Story	Parameterized Notions of Computation Re: Normalization by Leon P Smith Monads 2.0 by Leon P Smith	neelk	2009-02-17 19:38
Forum topic	Open Recursion What hasn't lead to trouble? by Leon P Smith Objects by Leon P Smith I tend to agree by Leon P Smith	Leon P Smith	2009-02-15 16:53
Forum topic	What is the dual of { } ? This is a theological argument about orthogonal issues by Leon P Smith	Kay Schluehr	2009-02-12 08:58
Story	Project Euler I know that I could be far by Leon P Smith Smoke testing; Haskell Wiki by Leon P Smith	Chris Rathman	2009-02-07 15:19
Forum topic	Explaining monads My Aha Moments. by Leon P Smith	Ehud Lamm	2009-01-30 11:43
Forum topic	Functional anti-memoization As for Anti-Memoization by Leon P Smith Flat types. by Leon P Smith Re: Dataflow? by Leon P Smith Options. by Leon P Smith The particular example is a red herring by Leon P Smith	Greg Buchholz	2009-01-26 17:46
Forum topic	Are you using delimited continuations? What if I use mapCont? by Leon P Smith	tmoertel	2009-01-03 20:56
Forum topic	Specializing values in a functional language GHC's Specialize Pragma by Leon P Smith	marco	2008-09-24 16:22
Story	Programming Language Beauty: Look Closure Pure Math by Leon P Smith What is purity? by Leon P Smith Oops... by Leon P Smith Eta abstraction. by Leon P Smith	Erik Meijer	2008-09-10 04:01
Forum topic	ML Closure vs Scheme Closure Also on LtU by Leon P Smith In terms of implementation... by Leon P Smith	cdiggins	2008-09-10 03:28
Forum topic	type derivation for 'map map', yelp Maybe off-topic, but not inappropriate by Leon P Smith	numerodix	2008-08-22 20:07
Forum topic	Text Processing by Functional Language? Graphs by Leon P Smith Functional Programming Languages excel at text processing by Leon P Smith	Wendell	2008-08-19 16:27
Story	Gilad Bracha: Will Continuations continue? Non-native continuations by Leon P Smith	Ehud Lamm	2008-08-01 02:47
Forum topic	In search for a programming language to replace spreadsheets. Scheme in a Grid? by Leon P Smith	Søren Haagerup	2008-07-24 18:52
Forum topic	Parser Generators Supporting Astral Characters You mean any pure-MzScheme parsing system... by Leon P Smith	JamesJustinHarrell	2008-07-22 02:33
Forum topic	SMP Erlang vs. Haskell vs. ML HiPE hype by Leon P Smith	raould	2008-07-14 16:02
Forum topic	The hits and misses of Microsoft Lambda, the Ultimate GOTO by Leon P Smith	Ehud Lamm	2008-07-12 07:25
Story	Why Multi-Core is Easy and Internet is Hard Internal security risks by Leon P Smith	Peter Van Roy	2008-07-03 06:55
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