Lambda the Ultimate

type	title	author	last post
Forum topic	Promising OS's from a Programming Language Perspective Sticking this here by Derek Elkins Xok's status by Derek Elkins Microkernels by Derek Elkins What's the OS's job? by Derek Elkins	John Carter	2006-01-30 17:36
Story	Spring School on Datatype-Generic Programming 2006 ITA by Derek Elkins Polytypic programming by Derek Elkins	Ehud Lamm	2006-01-24 19:14
Story	Djinn, a theorem prover in Haskell, for Haskell. Yoneda by Derek Elkins Coq and a bit of a coincidence by Derek Elkins	shapr	2006-01-24 18:58
Forum topic	Referentially Transparent Scheme What is a Purely Functional Language by Derek Elkins	mjstahl	2006-01-23 21:14
Forum topic	Joel Spolsky views on CS education On the topic at the end of the post by Derek Elkins	Andrei Formiga	2006-01-20 20:55
Forum topic	Singleton classes really that bad? There's -nothing- wrong with the otherwise by Derek Elkins If you are referring to Patterns of Software... by Derek Elkins	dataangel	2006-01-16 19:14
Story	The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene OI by Derek Elkins	shapr	2006-01-12 16:51
Story	Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism No, no, no by Derek Elkins There are by Derek Elkins	Ehud Lamm	2006-01-11 18:17
Forum topic	Classic CS Texts CSP by Derek Elkins	Babar K Zafar	2006-01-11 17:51
Story	Auld Lang Alice Epigram by Derek Elkins	Chris Rathman	2006-01-05 22:20
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
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