Lambda the Ultimate

type	title	author	last post
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-07 00:48
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-07-26 11:56
Forum topic	Binary relations Generic Persistence for CLP by Frank Atanassow	citylight	2008-07-25 14:23
Forum topic	Exploiting parser ambiguity Gibblets by Frank Atanassow foo by Frank Atanassow Notational abuse by Frank Atanassow	bdenckla	2008-07-23 13:17
Forum topic	Why type systems are interesting Back to square one by Frank Atanassow Right. by Frank Atanassow "relax" vs. "constrain" by Frank Atanassow Nevermind. by Frank Atanassow Essentially enough. by Frank Atanassow Not a question of lifting idioms by Frank Atanassow Ours is not to reason why by Frank Atanassow Broken example? by Frank Atanassow How do you feel, waste-of-t by Frank Atanassow Inconsistency by Frank Atanassow ...	Anton van Straaten	2008-07-07 14:16
Story	newLisp: A better Lisp/Scheme Fusion... Jeremiah was a bullfrog. by Frank Atanassow	Brent Fulgham	2008-05-06 16:24
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Re: Isos, etc. by Frank Atanassow	John Carter	2008-03-09 17:31
Forum topic	Well-typed programs can’t be blamed Huh? by Frank Atanassow	Marc Hamann	2008-01-15 00:40
Forum topic	expressivity of "idiomatic C++" Myths and ideology in programming by Frank Atanassow	el-vadimo	2007-12-28 14:25
Forum topic	A survey and discussion of taming effects Filinski's dissertation by Frank Atanassow	naasking	2007-11-28 19:24
Forum topic	What are the properties of "Functional Programming Languages"? Re: Wolfram by Frank Atanassow	kaveh.shahbazian	2007-11-25 20:23
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
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	2007-11-08 03:51
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
Story	Interactive Programming Implementation choices by Frank Atanassow "Dynamic implementation", not "dynamic language" by Frank Atanassow	Luke Gorrie	2006-10-11 21:53
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
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