Lambda the Ultimate

type	title	author	last post
Story	Solving a Sudoku with one SQL-statement Sudoku in X by sigfpe	Ehud Lamm	2007-06-12 18:00
Forum topic	Why people don't use functional programming? Number mod X by sigfpe Not enough information by sigfpe	Gergely Buday	2007-06-09 16:40
Forum topic	Total Functional Programming Two issues by sigfpe The contract of the caller by sigfpe I hope you caught that BBC story... by sigfpe I had this thought just the other day... by sigfpe	Greg Buchholz	2007-05-27 20:18
Forum topic	Is Integer wrapping an exceptional condition? The p-adics by sigfpe Don't think of it as wrapping by sigfpe	mansu	2007-05-21 23:34
Forum topic	Can referential transparency be bad? (puzzle included) Great! by sigfpe What you ask is closely related to a problem... by sigfpe	Andris Birkmanis	2007-05-12 00:53
Story	Generics as a Library Parametricity Theorem by sigfpe	Matt Hellige	2007-05-09 00:11
Forum topic	Non-Applicative Functional Languages My reading of that article is that... by sigfpe	cdiggins	2007-03-09 17:18
Forum topic	Dimensional analysis typing I qualified what I said slightly by sigfpe More than just a sanity check by sigfpe	Zombywuf	2007-02-23 07:54
Forum topic	Effects in Types Linear types by sigfpe One Word: monad by sigfpe	cdiggins	2007-02-22 11:17
Forum topic	Why do they program in C++? What's different about a Scheme chip? by sigfpe I'm interested in something similar by sigfpe	David Waern	2007-02-19 12:09
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
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