Lambda the Ultimate

type	title	author	last post
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence Markstrum's phrasing in the by John Shutt	Sean McDirmid	2011-04-19 23:40
Forum topic	Redhat's New Language Equality in Kernel is by John Shutt	Noel	2011-04-16 03:10
Forum topic	Monads vs. Actors I've a feeling that by John Shutt	Sean McDirmid	2011-03-02 21:15
Forum topic	What is computation? Concurrency versus Turing's Model This is not about the by John Shutt Unsimple misunderstanding by John Shutt as might the Actor system by John Shutt It's fairly commonplace for by John Shutt Possibility versus probablity by John Shutt Apples and oranges by John Shutt Thankyou for drawing me into by John Shutt Always halts by John Shutt	Hewitt	2011-02-22 13:52
Forum topic	Lambda the Ultimate seems an Overstatement (not) Formal CR and useful CR by John Shutt The original use of by John Shutt names of calculi by John Shutt multi-assignment by John Shutt Felleisen and Hieb by John Shutt SRSs by John Shutt	Ed Earl Ross	2010-12-13 19:44
Forum topic	Clojure's Solutions to the Expression Problem Not about sound-and-complete by John Shutt No matter how much stuff by John Shutt I'd say this is pretty much by John Shutt static typing trade-off by John Shutt Dynamic mulitple dispatch by John Shutt	fogus	2010-11-27 07:21
Forum topic	First-class environments. Discuss. ;) Pebble by John Shutt fexprs and reflection by John Shutt Features that clash with fexprs by John Shutt Trust in Kernel by John Shutt fexprs and trust by John Shutt Extensible attribute grammars; and general remarks on fexprs by John Shutt Quote and the applicative/operative separation by John Shutt macros and fexprs by John Shutt Why Fexprs by John Shutt Quotation considered harmful by John Shutt ...	Manuel J. Simoni	2010-11-18 13:31
Forum topic	Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language Phase separation of macros by John Shutt Mitch Wand in context by John Shutt Understanding fexprs versus macros (versus functions) by John Shutt The theory of fexprs is not (necessarily) trivial by John Shutt purely? by John Shutt Scoping fexprs by John Shutt Compiler reasoning about fexprs by John Shutt	Peter Michaux	2010-10-28 11:03
Forum topic	Computational equivalent of incompleteness theorems? Computation and logic by John Shutt	naasking	2010-09-21 06:55
Forum topic	Is lambda calculus a logic? Lest we forget by John Shutt	Patrick Browne	2010-07-23 21:42
Forum topic	Evocative metaphor The value of the metaphor by John Shutt	Ehud Lamm	2010-07-12 13:40
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction Plotkin's paper by John Shutt	marco	2010-06-20 04:28
Forum topic	Guppy: trying to make parsing simple, fun, and powerful Motive for adaptivity by John Shutt Avoiding semantic actions by John Shutt	Joey Adams	2010-05-31 02:57
Forum topic	Typed Lambda Calculus Cardelli and Wegner (1985)? by John Shutt Strachey versus Cardelli and Wegner by John Shutt	marcosag	2010-05-05 21:11
Forum topic	How can C Programs be so Reliable? C syntax by John Shutt	Manuel J. Simoni	2010-04-23 11:54
Forum topic	splitting the program into formalizable vs. non-formalizable parts? Darwinian physics by John Shutt Unfalsifiable? by John Shutt	raould	2010-04-17 03:48
Forum topic	Alternatives to parentheses for grouping Dot notation isn't standard probably because... by John Shutt I once encountered by John Shutt	jason stumpf	2010-02-10 13:28
Forum topic	more consistent macros? Fexprs don't have to be lazy by John Shutt Why I'm not fond of macros by John Shutt	raould	2010-02-04 11:22
Story	John Hughes on Erlang and Haskell Differing points of view by John Shutt Curry-Howard, Gödel, Plato... by John Shutt Curry-Howard not by John Shutt Curry-Howard by John Shutt Proofs and abstractiveness by John Shutt Type inference considered harmful by John Shutt	James Iry	2009-12-02 10:16
Story	Scheme to be split into two languages SICP-style teaching language by John Shutt	Manuel J. Simoni	2009-11-26 16:54
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