Lambda the Ultimate

type	title	author	last post
Forum topic	Type inference for free? The question is underconstrained by Derek Elkins	OleKristensen	2007-07-18 22:45
Forum topic	ErlCaml Uh... types... by Derek Elkins	Jason Dusek	2007-07-13 16:35
Story	HOPL-III: Statecharts in the Making Obviously formal logic is a must by Derek Elkins	Chris Rathman	2007-07-11 16:56
Forum topic	Extensible Languages Two level van Wijngaarden grammars? by Derek Elkins	skaller	2007-07-09 11:47
Forum topic	Standing on each others' feet Without the source or even by Derek Elkins	Barak A. Pearlmutter	2007-07-02 23:41
Forum topic	Katahdin: Modifying your programming language as it runs It's the same language. by Derek Elkins	chrisseaton	2007-06-29 00:34
Story	Piraha Exceptionality: a Reassessment I find it much simpler just by Derek Elkins	Ehud Lamm	2007-06-28 04:28
Forum topic	PLs and large scale development I especially like the by Derek Elkins	bieberbrueder	2007-06-27 22:09
Forum topic	What next? Answering this question is by Derek Elkins	rhat	2007-06-22 13:00
Forum topic	Steps Toward The Reinvention of Programming Actual v. Potential by Derek Elkins What issues are you thinking by Derek Elkins	Isaac Gouy	2007-06-21 17:10
Story	OOP Is Much Better in Theory Than in Practice We are? by Derek Elkins Completely off-topic by Derek Elkins	Ehud Lamm	2007-06-18 22:39
Story	Festschrift for John C Reynolds's 70th Birthday Good book by Derek Elkins	Ehud Lamm	2007-06-15 11:11
Forum topic	Why people don't use functional programming? Thank God for those down to by Derek Elkins	Gergely Buday	2007-06-09 16:40
Story	Automated Whitebox Fuzz Testing Not much considering it's a by Derek Elkins Sounds disturbingly familiar by Derek Elkins	Ehud Lamm	2007-06-05 17:48
Forum topic	How the Chicken Scheme compiler works C-- by Derek Elkins	johnwcowan	2007-06-04 16:02
Story	LC for kids (alligators, oh my!) That, or alligators or by Derek Elkins Type lambdas by Derek Elkins	Ehud Lamm	2007-06-01 22:08
Forum topic	What is a "domain specific language"? Goals by Derek Elkins Pretty hello world by Derek Elkins Except perhaps by legal means by Derek Elkins It's fuzzy, but by Derek Elkins	Kay Schluehr	2007-06-01 00:07
Forum topic	Total Functional Programming This idea was often by Derek Elkins	Greg Buchholz	2007-05-27 20:18
Forum topic	Delegating Responsibility in Digital Systems: Horton's "Who Done It?" Me Done It or I Done It. by Derek Elkins	MarkM	2007-05-23 19:52
Forum topic	How to make the static represent the dynamic? Unimportant aside by Derek Elkins	raould	2007-05-23 02:19
Forum topic	Is Integer wrapping an exceptional condition? Propagating type information by Derek Elkins They're equivalent. Yay! by Derek Elkins So the economics of program by Derek Elkins	mansu	2007-05-21 23:34
Story	Lisp is sin The future is now! by Derek Elkins Haskell by Derek Elkins Indeed by Derek Elkins . by Derek Elkins The future... by Derek Elkins minor OT by Derek Elkins	Ehud Lamm	2007-05-19 19:51
Story	Generics as a Library Side effects and parametricity by Derek Elkins	Matt Hellige	2007-05-09 00:11
Forum topic	Arc in action (a.k.a. it's aliiiiive!) Perhaps the implication is by Derek Elkins	Anton van Straaten	2007-05-08 01:43
Story	Towards efficient, typed LR parsers Derivation of a Typed Functional LR Parser by Derek Elkins	neelk	2007-05-07 11:09
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