Lambda the Ultimate

type	title	author	last post
Story	Compositional type systems for stack-based low-level languages Thanks. by cdiggins Compositional type inference by cdiggins	cdiggins	2007-09-14 03:14
Story	From abstract interpretation to small-step typing Some confusion by cdiggins And the point is? by cdiggins Tracking Control Paths by cdiggins More Ideas by cdiggins But what about more general by cdiggins	Chung-chieh Shan	2007-07-25 02:34
Story	Thinking Forth & Starting Forth The big difference between by cdiggins	Luke Gorrie	2007-07-13 17:22
Forum topic	[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework Very good point. by cdiggins Correction by cdiggins Questions answered by cdiggins Not so different by cdiggins Thanks by cdiggins YARD vs Spirit by cdiggins	cdiggins	2007-07-12 12:26
Forum topic	Forth in hardware ("not dead yet") Type inference FTW by cdiggins Thank you! by cdiggins Cat does address the types of the elements by cdiggins	raould	2007-07-10 18:20
Story	Haskell web store What's the big deal? by cdiggins	Anton van Straaten	2007-07-09 18:58
Forum topic	Katahdin: Modifying your programming language as it runs Multi-pass parsing? by cdiggins A suggestion by cdiggins	chrisseaton	2007-06-29 00:34
Forum topic	Fully Inferable Languages Clarity by cdiggins Principal Type vs Principal Typings by cdiggins	cdiggins	2007-06-27 02:29
Forum topic	Typed callcc in a stack-based language Great Link by cdiggins Thank you very much by cdiggins The revised type. by cdiggins Good question. I need to by cdiggins No it wouldn't, but either by cdiggins Thanks, fixed. by cdiggins Continuations and Evaluators. by cdiggins	cdiggins	2007-06-06 06:47
Forum topic	How the Chicken Scheme compiler works Great article, thanks for by cdiggins	johnwcowan	2007-06-04 16:02
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
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