Lambda the Ultimate

type	title	author	last post
Forum topic	Rules for Developing Safety-Critical Code Consider this also a reply to raould by Derek Elkins	Peter J. Wasilko	2006-06-25 21:26
Forum topic	Why only 'minimal' languages I'm sure the engineers would by Derek Elkins To try to add features by Derek Elkins	Karsten Wagner	2006-06-19 15:33
Forum topic	Relevance of Curry-Howard My unbased feeling by Derek Elkins Type debugging by Derek Elkins The answer is obvious by Derek Elkins Surely what the user by Derek Elkins However, what does by Derek Elkins When the type system is by Derek Elkins	Klaus Ostermann	2006-06-12 13:36
Forum topic	emulation for Erlang style processes "Some quarters" can ignore by Derek Elkins	Rys McCusker	2006-06-11 03:01
Story	Public resources for ECMAScript Edition 4 But I can't reply to either by Derek Elkins Right. So why did you post by Derek Elkins Completely off-topic for this thread, but... by Derek Elkins	Dave Herman	2006-06-09 08:35
Forum topic	Editing posts Editing: My Perspective by Derek Elkins	Jeff Nowakowski	2006-06-09 01:05
Forum topic	Return of the Global Variables? Dynamic scoping is less evil by Derek Elkins	Koray Can	2006-06-08 07:31
Forum topic	Buried Treasure - No Fluff Just Stuff Recompilation by Derek Elkins Um, what Philippa and Andreas said by Derek Elkins Ah, I see. That's not by Derek Elkins Russell's Parad[o]x results by Derek Elkins Not too relevant by Derek Elkins Useless types by Derek Elkins What gives? by Derek Elkins	Isaac Gouy	2006-06-08 03:44
Forum topic	Type checking and logical errors It was spun into a by Derek Elkins It refers to this. by Derek Elkins Phantom types, parametric polymorphism by Derek Elkins metal by Derek Elkins	Mike Smith	2006-06-05 21:16
Story	Insights on teaching computer programming Perhaps you're somewhat by Derek Elkins they pooh-pooh me, saying by Derek Elkins	Peter Van Roy	2006-06-04 14:34
Story	Continuations for Parallel Logic Programming LolliMon by Derek Elkins	Andris Birkmanis	2006-06-03 20:05
Forum topic	yet another noob via "little lisper" and scheme My views by Derek Elkins	danmcb	2006-06-01 09:58
Forum topic	Linspire chooses Haskell as preferred language Haskell's Community by Derek Elkins	kenhirsch	2006-05-27 18:30
Forum topic	"New story" template Procrastination by Derek Elkins	Andris Birkmanis	2006-05-27 15:05
Story	Building Interpreters by Composing Monads bump, apologies by Derek Elkins Pushouts of monads by Derek Elkins Stabs at answers by Derek Elkins LPS by Derek Elkins Semantic Legos by Derek Elkins	Andris Birkmanis	2006-05-22 20:37
Forum topic	Question about Lazy-ness and algorithmic runtime analysis Forget Infinite /Lists/ by Derek Elkins	Logan Capaldo	2006-05-22 08:48
Story	Departments in need... No, just chastised for not exploring by Derek Elkins	Ehud Lamm	2006-05-21 19:27
Story	Paul Vick: BASIC principles [OT for thread] The essence of functional programming by Derek Elkins	Ehud Lamm	2006-05-20 18:34
Forum topic	The Nature of Lisp (a tutorial) CL by Derek Elkins [OT] Pathetic segue by Derek Elkins ? by Derek Elkins	coffeemug	2006-05-18 23:38
Forum topic	The Cat Programming Language Arbitrary idea that just popped in my head by Derek Elkins	cdiggins	2006-05-18 16:17
Forum topic	Lambda the Ultimate Set Comprehension The Golden Rule by Derek Elkins Intuitionism by Derek Elkins Are you even reading what you are reading (or I am writing)? by Derek Elkins It's not that complicated by Derek Elkins Equality by Derek Elkins Somewhat OT by Derek Elkins Functions v. Sets by Derek Elkins Axiom of Infinity by Derek Elkins A paper by Derek Elkins LC and foundations by Derek Elkins	xyzzy	2006-05-17 06:05
Forum topic	Designing a Type Notation for a Stack Based Functional Language swap and parametricity by Derek Elkins Parametricity by Derek Elkins	cdiggins	2006-05-12 20:02
Forum topic	Parameteric Polymorphism from a C++ Perspective (good or bad?) Side-effects by Derek Elkins C++ templates are NOT parametric polymorphism by Derek Elkins	cdiggins	2006-05-10 20:57
Forum topic	The fundamental difference between Sets and Lists? Constructing Polymorphic Programs with Quotient Types by Derek Elkins	Robbert van Dalen	2006-04-27 12:55
Story	The Essence of the Iterator Pattern Uh... by Derek Elkins	Ehud Lamm	2006-04-19 09:11
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