Lambda the Ultimate

type	title	author	last post
Story	What good is Strong Normalization in Programming Languages? Xok by Derek Elkins	shapr	2005-11-18 18:06
Story	Battling Bugs: A Digital Quagmire Metal/xgcc by Derek Elkins	Paul Snively	2005-11-16 21:30
Forum topic	Can one avoid monads? Metamorphic Programming by Derek Elkins	raould	2005-11-10 20:18
Forum topic	Invariants/Contracts vs. types The most complex (terminating) type systems by Derek Elkins	dbfaken	2005-11-08 22:31
Story	OOPSLA 2005 Reports One way or another let's call it a day by Derek Elkins What do you mean by "this"? : by Derek Elkins I agree by Derek Elkins In general, and in practice, by Derek Elkins Runtime Type-checking by Derek Elkins Essentially, yes by Derek Elkins Yes by Derek Elkins Typeclasses by Derek Elkins Typechecking by Derek Elkins Actually... by Derek Elkins	Ehud Lamm	2005-11-08 17:50
Forum topic	Implementing Higher Order Messages Deforestation by Derek Elkins	ade_oshineye	2005-11-07 19:30
Story	Smalltalk case-statement Nit by Derek Elkins	Luke Gorrie	2005-11-04 05:20
Forum topic	Geometric Algebra The Category of Vector Spaces and QC and FP by Derek Elkins Actually... by Derek Elkins Clifford Algebra v. Geometric Algebra by Derek Elkins	Derek Elkins	2005-11-04 00:16
Forum topic	Why Lists? Haskell practice by Derek Elkins "How hard is that?" by Derek Elkins Algebraic DTs and Iteration by Derek Elkins	David B. Held	2005-11-01 21:15
Forum topic	"The Anatomy of a Loop" When I see an algorithm that by Derek Elkins But is there really a languag by Derek Elkins What CPS is not by Derek Elkins	el-vadimo	2005-10-09 19:02
Forum topic	From Perl Monks: "pissed off about functional programming" Aliasing and scoping in practice by Derek Elkins	tmoertel	2005-10-03 13:04
Forum topic	A Java/Python hybrid? Needle by Derek Elkins	dan_	2005-09-30 13:36
Forum topic	Good languages with simple grammar Concatenative Languages by Derek Elkins	Tim Sweeney	2005-09-28 08:09
Forum topic	Most Productive FP Lang? Pattern Matching by Derek Elkins	David B. Held	2005-09-26 03:14
Story	Educational Pearl: Automata as Macros That's well and good... by Derek Elkins We seem to be converging on agreement, but one misunderstanding by Derek Elkins Macro-based systems as compilers (exactly my point!) by Derek Elkins Degree of macro use by Derek Elkins No by Derek Elkins	Ehud Lamm	2005-08-24 21:08
Forum topic	Neko 1.0 Parsec by Derek Elkins	Nicolas Cannasse	2005-08-23 19:15
Forum topic	Syntax Design Self by Derek Elkins	C G	2005-08-19 14:11
Story	Overloading - Syntactic Heroin? OBJ3 by Derek Elkins	Anton van Straaten	2005-08-16 13:27
Forum topic	Mercury Vs Prolog Abstract logic programming languages by Derek Elkins	NoobProgrammer	2005-08-09 16:11
Story	Causal Nets And so... by Derek Elkins	Andris Birkmanis	2005-08-08 21:37
Story	General Purpose Cellular Automata Programming DSP by Derek Elkins	Ehud Lamm	2005-07-25 17:44
Forum topic	Dead Languages Timber by Derek Elkins	Jim Apple	2005-07-11 11:14
Forum topic	organizing papers... Organization by Derek Elkins	Matt Hellige	2005-07-07 15:32
Story	Why Dependent Types Matter A simpler more direct explanation by Derek Elkins	Ehud Lamm	2005-07-05 08:34
Story	A Typed, Compositional Logic for a Stack-Based Abstract Machine Just sticking this in by Derek Elkins	Ehud Lamm	2005-07-02 14:15
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