Lambda the Ultimate

type	title	author	last post
Forum topic	Functions shouldn't be lists, functions should be cast to lists Views of Lists by cdiggins Abstract Data Types and Term Rewriting by cdiggins Thanks for the explanation by cdiggins	cdiggins	2007-04-08 19:49
Forum topic	Dynamic Semantics In this context—that is, by cdiggins ... and why don't they? by cdiggins	Hank Thediek	2007-04-07 22:57
Forum topic	Abstract Data Type Usage Analysis	cdiggins	2007-03-27 19:21
Story	A Real-World Use of Lift, a Scala Web Application Framework Where's the programming language theory? by cdiggins	Paul Snively	2007-03-26 21:19
Forum topic	Implementation Inheritance Efficiency? Definitely! by cdiggins >> prevent any further by cdiggins In my idea of a perfect OOPL by cdiggins My feelings by cdiggins Sounds like ... by cdiggins	SamK	2007-03-20 20:31
Forum topic	Typing a Functional Stack-Based Language	cdiggins	2007-03-14 14:49
Forum topic	Non-Applicative Functional Languages Food for thought by cdiggins Both CPS and ANF by cdiggins Interesting! My problem with by cdiggins Thanks! by cdiggins Concatenative == Non-Applicative by cdiggins	cdiggins	2007-03-09 17:18
Forum topic	[Req. for Comments] Cat: A Typed Functional Stack-Based Language Definitely relevant! by cdiggins	cdiggins	2007-02-26 18:57
Forum topic	Effects in Types Thanks by cdiggins Thank you by cdiggins	cdiggins	2007-02-22 11:17
Forum topic	[RFC] Cat: A Typed Functional Stack Based Language Age of stack-based languages by cdiggins Quote is typed correctly by cdiggins	cdiggins	2007-02-03 20:46
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
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