Lambda the Ultimate

type	title	author	last post
Forum topic	Want to do undergraduate research, but CS dept is weak... Plus one for autodidacts by cdiggins	MTaylor	2007-02-02 14:39
Forum topic	Software Composability and the Future of Languages Good interview by cdiggins	grant	2007-01-30 02:46
Story	Ralf Lammel: Stop dysfunctional programming I am refering to this by cdiggins Quality of the post questionable by cdiggins	Ehud Lamm	2007-01-29 11:16
Forum topic	Intellisense for dynamic languages Type of an Eval Statement by cdiggins	tlareywi	2007-01-20 18:00
Forum topic	The Problem with "dup" and "swap" in Stack-Based Languages Thanks by cdiggins T(x) = by cdiggins This is interesting by cdiggins Unfortunately I don't. by cdiggins Great stuff! by cdiggins Then I stand corrected. by cdiggins Thank you! by cdiggins Good question by cdiggins Attempt at further clarification by cdiggins Oh-oh by cdiggins ...	cdiggins	2007-01-16 13:55
Forum topic	On Presenting the Semantics of Cat Formally What is T-DIIP? by cdiggins Yes! by cdiggins	cdiggins	2007-01-12 04:36
Forum topic	Quotation and evaluation -- or, how pure is the pure lambda calculus? Linking would be appreciated. by cdiggins	Lucius Gregory Meredith	2007-01-04 11:24
Forum topic	Programming Language Research Search Engine I`d love to see either by cdiggins Thanks by cdiggins Done by cdiggins Sorry for not responding to by cdiggins Language List by cdiggins Added by cdiggins Adding E by cdiggins New URL and Domain by cdiggins Browser Problems by cdiggins Sorry about that by cdiggins ...	cdiggins	2006-12-28 17:17
Story	The Future of LtU Blog Proposal by cdiggins	Ehud Lamm	2006-12-26 02:37
Story	A modern eye on ML type inference - Pottier 2005	cdiggins	2006-12-23 00:00
Forum topic	Modeling and Typing Combinatory Calculus I can't immediately see a by cdiggins	cdiggins	2006-12-22 21:01
Story	[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner Fine. I will refrain from by cdiggins I've just done that. Perhaps by cdiggins	cdiggins	2006-12-14 05:12
Story	YubNub for Programming Language Research [Offtopic] Names and Urls by cdiggins Please accept my apologies! by cdiggins For the record I have by cdiggins Unfortunately, it seems that by cdiggins	cdiggins	2006-12-12 04:47
Forum topic	The Cat Language Kind System Good catch by cdiggins Great idea by cdiggins Before that by cdiggins Ok, I revisited your rules by cdiggins Thanks for the tips by cdiggins Pain points? by cdiggins Good catch! by cdiggins	cdiggins	2006-12-11 07:11
Story	[Redux] A Syntactic Approach to Type Soundness (1992) In the future I will do so, by cdiggins Done. by cdiggins	cdiggins	2006-12-08 14:52
Forum topic	C++ has indeed become too "expert friendly" Ignoring the C++ and O'Caml by cdiggins	Isaac Gouy	2006-12-07 14:01
Forum topic	How to write a Programming Language Paper? I suspect Cat by cdiggins You got it. by cdiggins I'll give it my old college by cdiggins Good advice by cdiggins Good links by cdiggins Thanks for your suggestion by cdiggins	cdiggins	2006-12-05 09:21
Forum topic	if Records - Labels = Tuples then Rows - Labels = what? IMO it's better to provide by cdiggins Gaster and Jones by cdiggins	cdiggins	2006-12-04 01:57
Forum topic	Type Difference Thank you very much for by cdiggins Great stuff! by cdiggins This rule is wrong. You by cdiggins The problem restated. by cdiggins The generalized concept by cdiggins What about concatenation? by cdiggins Good point by cdiggins Undefined or empty by cdiggins	cdiggins	2006-11-19 10:07
Forum topic	Want to learn something new Shameless plug .. but maybe meritorious. by cdiggins	pureza	2006-11-12 19:49
Forum topic	The Type of a Recursive Combinator Good idea by cdiggins	cdiggins	2006-11-10 03:10
Forum topic	The Type of 42 Good idea by cdiggins (int int)->(int) by cdiggins Not all programs can be by cdiggins Sorry ... by cdiggins	cdiggins	2006-10-27 19:09
Forum topic	Cat Version 0.9	cdiggins	2006-10-27 06:04
Forum topic	On Publishing	cdiggins	2006-10-17 16:41
Forum topic	Designing a Programming Textbook Great Points by cdiggins To be fair ... by cdiggins	cdiggins	2006-10-02 19:26
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