Lambda the Ultimate

type	title	author	last post
Story	Patrick Logan on Software Transaction Memory Maybe the seeds of some arguments? by Brandon Moore	Ehud Lamm	2008-08-13 17:20
Story	program verification: the very idea "Uncontroversial" by Brandon Moore Poor terminology by Brandon Moore	el-vadimo	2008-08-03 21:15
Story	Garbage Collection Without Paging modified collectors by Brandon Moore	neelk	2008-07-28 21:57
Forum topic	On the importance of Turing completeness That's Coq by Brandon Moore Also why Turing incompleteness. by Brandon Moore	jdgallag	2008-06-16 22:31
Story	Diagram showing all programming paradigms and their relationships Depends what "monad" means by Brandon Moore	Peter Van Roy	2008-06-15 10:16
Forum topic	erlang green threads and the CLR Like Haskell? by Brandon Moore	addmoreice	2008-06-11 15:21
Story	FPH: First-class Polymorphism for Haskell Polymorphism guarded by constructors by Brandon Moore	naasking	2008-05-07 12:36
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? "Sum of Products" vs "Sum" by Brandon Moore Aside: sketching in Haskell by Brandon Moore	Ben Atkin	2008-04-29 03:20
Forum topic	Higher-Order Programming without Closures? Synthesis by Brandon Moore	naasking	2008-04-27 01:18
Forum topic	Languages best suited for scientific computing? Not Directly by Brandon Moore	JustinTrellis	2008-04-24 18:59
Story	Eriskay: a Programming Language Based on Game Semantics Semantic Examples by Brandon Moore	neelk	2008-03-26 16:54
Forum topic	Confused Deputies in Programming Languages Chroot by Brandon Moore Example by Brandon Moore true == implicit? by Brandon Moore	naasking	2008-03-18 02:47
Story	A Language-Based Approach to Unifying Events and Threads Paper has moved by Brandon Moore	shapr	2008-03-17 16:27
Forum topic	Learning language design Monads by Brandon Moore	vishal	2008-03-05 17:28
Forum topic	Any multi-threaded interpreters? GHCi by Brandon Moore	Pinku Surana	2008-02-19 22:12
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? Parallel Complexity by Brandon Moore	Anon K. Adderlan	2008-02-19 15:09
Forum topic	poll: syntax Little built in by Brandon Moore	Givas	2008-01-25 02:00
Story	The worker/wrapper transformation CPS and paremetricity by Brandon Moore	Ehud Lamm	2008-01-17 09:33
Forum topic	Well-typed programs can’t be blamed Perhaps this is a case where by Brandon Moore Missing polymorphism by Brandon Moore	Marc Hamann	2008-01-15 00:40
Forum topic	Subtext 2 Video Epigram and LOOP by Brandon Moore	SamK	2008-01-02 08:54
Forum topic	A Growable Language Manifesto Safety Guarantees, Quantifiers by Brandon Moore Quick Execution by Brandon Moore	RobJellinghaus	2007-12-24 20:01
Forum topic	Monadic and Substructural Type Systems for Region-Based Memory Management Freeing memory in a heap by Brandon Moore	naasking	2007-12-05 17:38
Forum topic	On the Importance of Purity By Definition by Brandon Moore That's not pure by Brandon Moore	naasking	2007-12-02 14:53
Story	Samurai - Protecting Critical Data in Unsafe Languages Time Value of Money by Brandon Moore	Ehud Lamm	2007-11-27 16:54
Forum topic	What are the properties of "Functional Programming Languages"? Ack! by Brandon Moore	kaveh.shahbazian	2007-11-25 20:23
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