Lambda the Ultimate

type	title	author	last post
Story	Top N Papers 2005 Danvy by Derek Elkins	Matt Hellige	2006-01-03 20:33
Story	Language affects 'half of vision' A beautiful segue by Derek Elkins	Ehud Lamm	2006-01-03 10:20
Forum topic	Virtual machine implementation and dynamic languages Pemo by Derek Elkins Shift/reset v. call/cc by Derek Elkins Hey, way to point out another one by Derek Elkins I'm surprised you're surprised by Derek Elkins And all these ideas came from Self by Derek Elkins Self by Derek Elkins	Mike Summers	2005-12-20 18:13
Forum topic	CPS without GC? Yes and no by Derek Elkins	Toby Hutton	2005-12-19 10:14
Forum topic	Types and reflection "Runtime" typechecking by Derek Elkins Typechecking at runtime by Derek Elkins Me neither by Derek Elkins Reflection v. Introspection by Derek Elkins	andnaess	2005-12-14 08:23
Forum topic	The breaking point of language usability? by Derek Elkins My intent with that remark (t by Derek Elkins Re the "smart"/"stupid" I bel by Derek Elkins Answer to one question by Derek Elkins	raould	2005-12-12 15:35
Story	Misc Links Formal Semantics by Derek Elkins	Ehud Lamm	2005-12-07 21:23
Forum topic	Conjunction types My simplificated understanding by Derek Elkins Treating types as sets of va by Derek Elkins John Reynolds by Derek Elkins	jimdesu	2005-12-05 16:21
Forum topic	Getting started in language design -- reading material? Oz, Curry by Derek Elkins Pugs by Derek Elkins	dataangel	2005-12-02 11:53
Forum topic	Dependent types: literature, implementations and limitations ? Your understanding is right by Derek Elkins	David Teller	2005-11-24 11:55
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
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