Lambda the Ultimate

type	title	author	last post
Forum topic	Prototype based OO No books but the Self papers also include such things by Derek Elkins	Dave Lopez	2007-03-13 03:28
Forum topic	Non-Applicative Functional Languages Roughly, yes. by Derek Elkins Backus by Derek Elkins	cdiggins	2007-03-09 17:18
Forum topic	Literature on recovering grammars? by Derek Elkins	Holgly Morgan	2007-02-26 13:24
Forum topic	An Analytical Approach to Programs as Data Objects	Derek Elkins	2007-02-25 20:29
Forum topic	Dimensional analysis typing Huh? The first thing is by Derek Elkins Pseudonym did exactly this by Derek Elkins	Zombywuf	2007-02-23 07:54
Forum topic	Automata-Based Programming Hmm, Noether's theorem for by Derek Elkins	Hank Thediek	2007-02-22 17:13
Story	Termination Checking with Types An FSM can match (01)*, your by Derek Elkins Logic and reality by Derek Elkins There are (usually) by Derek Elkins No it isn't by Derek Elkins Can vs. Must by Derek Elkins	neelk	2007-02-09 20:53
Story	Haskell vs. Erlang, Reloaded Session types by Derek Elkins From the Preface of the by Derek Elkins Binary IO by Derek Elkins	Ehud Lamm	2007-02-08 22:58
Forum topic	Opinions on _Theoretical Introduction to Programming_? Random topical anecdote by Derek Elkins	Wolf Logan	2007-02-08 03:20
Forum topic	Intellisense for dynamic languages Self by Derek Elkins	tlareywi	2007-01-20 18:00
Story	More Haskell in Java 7 or 8? So C# gets it and then Java by Derek Elkins	Ehud Lamm	2007-01-06 16:45
Forum topic	Question about closures and higher-order functions Second, some people claim by Derek Elkins So I’m tempted to conclude by Derek Elkins	A B Carter	2007-01-02 22:12
Story	AgentSheets: End-User Programing (and Secret Lisp Success Story!) Normal OOD by Derek Elkins Stream processing by Derek Elkins Amorphous Computing (again) by Derek Elkins	Brent Fulgham	2006-12-31 23:19
Story	The Future of LtU Incidentally by Derek Elkins	Ehud Lamm	2006-12-26 02:37
Forum topic	Transparent Persistence Delayed Reply by Derek Elkins Consistency by Derek Elkins	playergiro	2006-12-20 17:31
Forum topic	Understanding continuations Re: Relation to function calls? by Derek Elkins Re: Threads vs. continuations by Derek Elkins Re: C/Assembler approach by Derek Elkins	Keith Devens	2006-12-06 23:43
Story	OOPSLA 2005: Io, a small programming language Heck if I know by Derek Elkins CPS by Derek Elkins	Ehud Lamm	2006-11-21 23:09
Forum topic	Tradeoffs between Unique Types and Monads Monads by Derek Elkins	mjstahl	2006-10-13 12:47
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram FLINT? by Derek Elkins	Niels Hoogeveen	2006-10-02 18:13
Forum topic	Advantages of Soft Typing Untested Haskell by Derek Elkins The question is whether an by Derek Elkins	Curtis W	2006-08-29 22:21
Forum topic	Can a dynamically typed language support type inference? Wrong/Nonsensical question by Derek Elkins	raganwald	2006-08-19 09:51
Forum topic	automatic theorem proving It might be helpful to note by Derek Elkins	Curtis W	2006-08-09 14:01
Forum topic	Overloading : Why do some languages leave it out? Probably not by Derek Elkins Monoids by Derek Elkins Haskell Numeric classes by Derek Elkins	cdiggins	2006-08-08 21:28
Story	Software Extension and Integration with Type Classes Typeclasses by Derek Elkins	Matt Hellige	2006-08-08 08:51
Forum topic	OOP Parallel class hierarchies Two Other Reasons Not to Continue by Derek Elkins	dataangel	2006-07-18 19:50
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