Lambda the Ultimate

type	title	author	last post
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
Forum topic	How do Java generics correspond to System F-(omega)? Some quickly googled slides by Derek Elkins	Chung-chieh Shan	2006-07-12 22:39
Story	Abstracting Allocation: The New new Thing CH (what else?) by Derek Elkins	Ehud Lamm	2006-07-12 20:28
Forum topic	DSLs and operator associativity/precedence Check out the OBJ family of by Derek Elkins	dataangel	2006-07-11 05:20
Forum topic	What are the real benefits of FP? Ack! by Derek Elkins Games in Haskell by Derek Elkins Bah by Derek Elkins	dataangel	2006-07-09 20:03
Story	LtU: Policies document LtU Wiki by Derek Elkins In my experience, relying on by Derek Elkins Some agreement and some disagreement by Derek Elkins	Ehud Lamm	2006-07-03 19:27
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
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