Lambda the Ultimate

type	title	author	last post
Story	Arc is released parameters to the macro by Dave Herman gensym isn't enough by Dave Herman	Ehud Lamm	2008-03-21 12:07
Forum topic	Non-null references? sound non-null types are tricky by Dave Herman	Mike Hearn	2008-03-14 21:05
Story	What do you mean by studying "programming languages"? why by Dave Herman	Ehud Lamm	2008-01-22 18:34
Forum topic	Featherweight JavaScript? well... by Dave Herman semantics of the DOM by Dave Herman slim pickings by Dave Herman	Andris Birkmanis	2008-01-11 00:24
Story	Threads in JavaScript? yeah, big difference by Dave Herman JS3/ES5 by Dave Herman	Dave Herman	2007-12-21 14:28
Story	ECMAScript 4 overview paper More material by Dave Herman tail calls by Dave Herman	doublec	2007-11-07 04:52
Story	ECMAScript Edition 4 and Backwards Compatibility thanks by Dave Herman	Dave Herman	2007-11-07 01:31
Story	Rob Pike on Concurrency and Message passing in Newsqueak a clue by Dave Herman references in semantics? by Dave Herman	Ehud Lamm	2007-09-17 17:08
Forum topic	Lectures on the Curry-Howard Isomorphism link to book by Dave Herman	Ehud Lamm	2007-08-28 17:18
Story	Compiling with Continuations, Continued two different lambdas by Dave Herman	neelk	2007-08-22 22:03
Story	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams neat! by Dave Herman	neelk	2007-08-09 13:48
Forum topic	Terminology: Thunking vs Quoting lexical scope by Dave Herman	cdiggins	2007-06-01 12:01
Forum topic	Functional Object-Oriented Programming afterthought by Dave Herman store-passing style by Dave Herman	Jason Dusek	2007-05-06 19:32
Story	The New Twelf Wiki missing a big one by Dave Herman	neelk	2007-03-23 00:49
Forum topic	The Current Practical Limit of Static Typing theorem or conversation? by Dave Herman interpretation by Dave Herman	Noel	2007-03-15 12:56
Story	Actors that Unify Threads and Events link by Dave Herman	James Hague	2007-02-27 09:35
Forum topic	Effects in Types effect systems by Dave Herman	cdiggins	2007-02-22 11:17
Story	Specifying ECMAScript via ML update coming soon by Dave Herman elaborating into SML by Dave Herman SML by Dave Herman call/cc and type soundness by Dave Herman Re: reference implementation than specification by Dave Herman cheap shot by Dave Herman confused... by Dave Herman not a whole lot by Dave Herman Re: delimited continuations in OCaml by Dave Herman perhaps by Dave Herman ...	Dave Herman	2007-02-13 18:03
Story	Programming Shorthands anaphora by Dave Herman	James Hague	2007-02-10 00:09
Story	Separation Logic: A Logic for Shared Mutable Data Structures I'll bite by Dave Herman	neelk	2007-02-04 05:34
Story	New RSS Feed(s) Re: staying logged in by Dave Herman staying logged in by Dave Herman	Anton van Straaten	2007-02-02 21:05
Story	A Visual Environment for Developing Context-Sensitive Term Rewriting Systems explicit substitution calculi by Dave Herman	Ehud Lamm	2007-01-23 19:15
Forum topic	Interlanguage Migration: From Scripts to Programs in what way is your comment related to the paper? by Dave Herman	dbfaken	2007-01-18 18:51
Forum topic	Scheme interpreters written in Standard ML? MetaOCaml by Dave Herman	Chris Rathman	2007-01-17 04:34
Story	Mechanized Metatheory Model-Checking obviously a type error by Dave Herman soundness: keeping your promises by Dave Herman	Jim Apple	2006-12-11 21:44
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