Lambda the Ultimate

type	title	author	last post
Forum topic	A Theory of Typed Hygienic Macros Conference paper by Frank Atanassow	Jacques Carette	2010-06-20 22:13
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction CBV diverges strictly more often. by Frank Atanassow	marco	2010-06-20 04:28
Forum topic	plt vs. something else for programming in the large? The Dream of Leibniz by Frank Atanassow Some remarks by Frank Atanassow	raould	2010-06-17 01:07
Forum topic	C-Machine Neat. by Frank Atanassow	marco	2010-06-15 19:46
Forum topic	Algebraic List monoid by Frank Atanassow Some sketchy definitions by Frank Atanassow	morphir	2010-06-11 08:33
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	2010-03-08 19:47
Forum topic	Stupid Question. Mumble, mumble, mumble by Frank Atanassow	Matt Estes	2009-06-26 20:47
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Re: Isos, etc. by Frank Atanassow	John Carter	2009-05-23 23:23
Story	Joshua Bloch: "Nearly All Binary Searches Broken" Harrumph. by Frank Atanassow Personally I think there are by Frank Atanassow	Ehud Lamm	2009-05-15 15:20
Story	LtU: blog not forum! Freedom of speech => duty to accept criticism by Frank Atanassow	Ehud Lamm	2009-02-14 14:11
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
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