Lambda the Ultimate

type	title	author	last post
Forum topic	Terminology: Thunking vs Quoting On the evaluation of arguments by cdiggins Yes you are right by cdiggins Thanks for the suggestion by cdiggins	cdiggins	2007-06-01 12:01
Forum topic	What's in a name: eval vs apply. I see by cdiggins More than what appears on the surface by cdiggins Side-effects. by cdiggins Dequoting == Function Application by cdiggins Good points. by cdiggins Obviousness is in the eye of the beholder by cdiggins	cdiggins	2007-05-24 09:23
Forum topic	[ANN] Cat v0.14 and MetaCat Programming Languages	cdiggins	2007-05-22 18:53
Forum topic	Type-Safe Casts Parameterizing a type makes by cdiggins	cdiggins	2007-05-08 07:01
Forum topic	Almost invisible upgrade Putting on my Opinionated Hat by cdiggins	Anton van Straaten	2007-05-02 05:44
Forum topic	Thoughts about the Best Introductory Language I disagree. by cdiggins	shlomif	2007-05-01 05:23
Forum topic	Type inference and union types Don't use Wikipedia by cdiggins Not entirely useless by cdiggins	Thomas_C	2007-04-29 19:36
Story	Modular Verification of Assembly Code with Stack-Based Control Abstractions	cdiggins	2007-04-22 13:44
Forum topic	Inferring Types for Higher Order Instructions in Stack Languages	cdiggins	2007-04-11 19:04
Forum topic	Why can't you push instructions in MSIL/JVML Machine code is a functional stack-based language by cdiggins JIT'd quickly by cdiggins Thanks! by cdiggins Huge overhead by cdiggins That isn't true by cdiggins "I'm not clear what this by cdiggins It doesn't have to be dynamic. by cdiggins	cdiggins	2007-04-11 04:22
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
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