Lambda the Ultimate

type	title	author	last post
Forum topic	Subtext 2 Video The rest? by Matt Hellige	SamK	2008-01-02 08:54
Forum topic	functions, statements, expressions In fact... by Matt Hellige	Jason Dusek	2007-12-25 10:52
Forum topic	Origin of the term Multimethod Thanks! by Matt Hellige Tangent... by Matt Hellige	Eric J Schwarzenbach	2007-12-23 17:25
Story	A Dialogue on Infinity	Matt Hellige	2007-12-21 01:57
Forum topic	Table Tool System I missed most of this talk, by Matt Hellige	M Sandin	2007-12-12 20:57
Story	S has a left inverse Ah by Matt Hellige Hmm... by Matt Hellige	Charles Stewart	2007-12-12 16:25
Forum topic	What have I created? Not sure by Matt Hellige	James W Hofmann	2007-12-02 13:04
Story	Dependent Classes Makes sense by Matt Hellige And a question... by Matt Hellige	Matt Hellige	2007-11-25 05:26
Forum topic	Universal Type System Perhaps tangential... by Matt Hellige	Akhilesh Mritunjai	2007-11-24 18:01
Story	Caja: Capability Javascript :) by Matt Hellige	Ehud Lamm	2007-11-13 01:06
Story	On the origins of Bisimulation, Coinduction, and Fixed Points Yes by Matt Hellige	Ehud Lamm	2007-11-05 20:48
Forum topic	Searching for a quote Hmm... by Matt Hellige	paul_butcher	2007-10-31 00:13
Forum topic	XQuery language design issues I'm a little confused by Matt Hellige	Thomas Lord	2007-10-25 04:45
Forum topic	Anybody at OOPSLA?	Matt Hellige	2007-10-23 08:43
Forum topic	Question about the Monad associativity law ...with wrong ideas that appeal to you... by Matt Hellige	sciomako	2007-10-09 20:57
Forum topic	On creating an ad hoc assembly interpreter to aid studying and NEXT... by Matt Hellige	soapdog	2007-09-22 00:33
Forum topic	Lambda Calculus: fixed point theorem help Makes sense... by Matt Hellige Depends on the context... by Matt Hellige It is right by Matt Hellige	ilSignorCarlo	2007-09-19 23:09
Forum topic	What is a state? Thanks! by Matt Hellige Interesting... by Matt Hellige More... by Matt Hellige	Hank Thediek	2007-09-07 13:41
Story	Compiling with Continuations, Continued Also note... by Matt Hellige	neelk	2007-08-22 22:03
Forum topic	Formal methods for O/R mapping Nice paper by Matt Hellige	Andris Birkmanis	2007-08-19 00:29
Story	Best LtU humour Votes! by Matt Hellige	Ehud Lamm	2007-08-01 18:54
Story	A Topos Foundation for Theories of Physics Agreed by Matt Hellige	Matt Hellige	2007-07-27 11:42
Forum topic	Whoever does not understand LISP, is doomed to reinvent it. Fun stuff by Matt Hellige	kaveh.shahbazian	2007-07-22 19:46
Story	A Natural Axiomatization of Church's Thesis Isn't that what "axiomatization" means? by Matt Hellige	Ehud Lamm	2007-07-20 13:12
Forum topic	Type inference for free? Abstract Interpretation by Matt Hellige	OleKristensen	2007-07-18 22:45
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