Lambda the Ultimate

type	title	author	last post
Forum topic	Explaining monads Better example by Frank Atanassow Remember way back when? by Frank Atanassow Cogito ergo sum. by Frank Atanassow "The source of all type errors are type systems." by Frank Atanassow fustigate (v.) 1. to beat with a stick; 2. to criticize severely by Frank Atanassow	Ehud Lamm	2009-01-30 11:43
Forum topic	Shoot-out: most annoying compiler error message Who's da man? by Frank Atanassow Ad majorem dei gloriam by Frank Atanassow	marco	2008-12-21 21:45
Forum topic	Elementary Category Theory Moot by Frank Atanassow	Ohad Kammar	2008-10-23 11:52
Forum topic	Let's make a programming language! If syntax is unimportant by Frank Atanassow Re: Arrow by Frank Atanassow Some words of advice on language design by Frank Atanassow	Achilleas Margaritis	2008-09-12 09:21
Forum topic	Exploiting parser ambiguity Gibblets by Frank Atanassow foo by Frank Atanassow Notational abuse by Frank Atanassow	bdenckla	2008-09-07 16:12
Forum topic	Binary relations Generic Persistence for CLP by Frank Atanassow	Matthew Willson	2008-07-25 14:23
Story	newLisp: A better Lisp/Scheme Fusion... Jeremiah was a bullfrog. by Frank Atanassow	Brent Fulgham	2008-05-06 16:24
Forum topic	Well-typed programs can’t be blamed Huh? by Frank Atanassow	Marc Hamann	2008-01-15 00:40
Forum topic	A survey and discussion of taming effects Filinski's dissertation by Frank Atanassow	naasking	2007-11-28 19:24
Forum topic	The simplest mechanism with Turing-equivalent power to date ... Thank you, kindly. by Frank Atanassow I commented on this... by Frank Atanassow	Mario B.	2007-11-18 21:05
Story	A Topos Foundation for Theories of Physics 2-categories and catastrophe theory by Frank Atanassow	Matt Hellige	2007-07-27 11:42
Forum topic	Order of the Science Scouts Badges Dumbass! by Frank Atanassow	Ehud Lamm	2007-03-23 15:00
Forum topic	Why type systems are interesting - part II I say we shall have no mo' "latent types"... by Frank Atanassow Prolog by Frank Atanassow How to know what you know by Frank Atanassow Not universal by Frank Atanassow Many translations by Frank Atanassow Integer \cong Even by Frank Atanassow FWIW by Frank Atanassow	Ehud Lamm	2006-12-08 01:38
Forum topic	if Records - Labels = Tuples then Rows - Labels = what? That is not dead, which can eternal lie... by Frank Atanassow	cdiggins	2006-12-04 01:57
Forum topic	The three dimensions of proofs Thanks. This is of interest by Frank Atanassow	Niels Hoogeveen	2006-09-14 17:42
Forum topic	Network Transparent languages Concurrency and state by Frank Atanassow	mansu	2006-08-08 19:10
Story	The right default: concurrent components with message passing Lengthy URL by Frank Atanassow	Peter Van Roy	2006-07-22 16:37
Forum topic	First Class Values, Types as values within a Programming Language Your deepest desires: on screwing by Frank Atanassow	Bruce Rennie	2006-07-20 00:50
Forum topic	Community enforcement discussion For the record: Marc and by Frank Atanassow	Anton van Straaten	2006-07-12 13:59
Story	Programming Languages and Lambda Calculi Normal "order" by Frank Atanassow	Noel	2006-07-11 17:23
Forum topic	HLVM - High Level Virtual Machine toolkit for dynamic languages Dynamism, Legacy of the Visigoths by Frank Atanassow	nat	2006-07-09 21:57
Forum topic	Amusing question Science versus philosophy by Frank Atanassow Science not philosophy by Frank Atanassow Bite your tongue! by Frank Atanassow HDA3 by Frank Atanassow	Ehud Lamm	2006-07-08 19:19
Forum topic	Lexical structure of scripting languages Look before you leap. by Frank Atanassow	uchchwhash	2006-07-07 23:48
Story	'Information and Computation' Open Access More online journals by Frank Atanassow	Frank Atanassow	2006-07-05 23:13
Story	LtU: Policies document Links: passing the buck by Frank Atanassow	Ehud Lamm	2006-07-03 19:27
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