Lambda the Ultimate

type	title	author	last post
Forum topic	Interval Datatype I guess I should have said this immediately by Derek Elkins	Derek Elkins	2006-02-26 19:28
Forum topic	Type theory question... Dependent Sum and Product by Derek Elkins Category Theory by Derek Elkins	Matt Hellige	2006-02-23 22:07
Story	Interval Computations Synthetic Differential Geometry by Derek Elkins	Ehud Lamm	2006-02-22 21:34
Forum topic	Chu Spaces	Derek Elkins	2006-02-17 02:31
Forum topic	Is STL algorithms doing damage to the cause? Strictness analysis by Derek Elkins	Koray Can	2006-02-13 15:17
Forum topic	line breaks? HTML tags by Derek Elkins	raould	2006-02-13 11:27
Story	A New Haskell and those anxious to change Historical Note by Derek Elkins	Jim Apple	2006-02-06 05:15
Story	Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming Phil does rock! by Derek Elkins	Erik Meijer	2006-02-05 11:26
Forum topic	Weak vs. strong typing Minor OT by Derek Elkins	Joel Reymont	2006-02-03 18:36
Forum topic	What is a monad, why should I use it, and when is it appropriate? Triples by Derek Elkins	Jonathan Allen	2006-02-03 10:54
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
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