Lambda the Ultimate

type	title	author	last post
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
Story	Dependent Classes So what can't be done with static compilation? by Brandon Moore	Matt Hellige	2007-11-25 05:26
Forum topic	Universal Type System Goodstein's Theorem by Brandon Moore	Akhilesh Mritunjai	2007-11-24 18:01
Forum topic	The simplest mechanism with Turing-equivalent power to date ... Unbounded LBA? by Brandon Moore	Mario B.	2007-11-18 21:05
Forum topic	Transducer Composition and CPS Full paper, CSP by Brandon Moore	Andris Birkmanis	2007-11-09 12:49
Story	Tim Bray and Erlang Binaries are shared by Brandon Moore	Ehud Lamm	2007-10-09 21:30
Forum topic	Duck Typing advocated where? Duck Typing and Structural Subtyping by Brandon Moore	paddy3118	2007-08-27 01:19
Story	Ralph Johnson: Erlang, the next Java Robustness and Resource Accounting by Brandon Moore	Ehud Lamm	2007-08-12 15:45
Forum topic	Type inference for free? Non-standard semantics by Brandon Moore	OleKristensen	2007-07-18 22:45
Forum topic	The dream of Church and Curry realized? Second in a series by Brandon Moore	sidhu	2007-06-29 22:45
Forum topic	Fully Inferable Languages Even stronger by Brandon Moore Hindley Milner by Brandon Moore	cdiggins	2007-06-27 02:29
Story	HOT Pickles Acute by Brandon Moore	Chris Rathman	2007-06-24 08:32
Forum topic	Steps Toward The Reinvention of Programming Type Reconstruction by Brandon Moore	Isaac Gouy	2007-06-21 17:10
Forum topic	Why people don't use functional programming? One size fits all by Brandon Moore	Gergely Buday	2007-06-09 16:40
Story	Type-sensitive control-flow analysis Abstraction, not type checking by Brandon Moore	neelk	2007-06-01 06:44
Forum topic	Total Functional Programming Programs in Coq by Brandon Moore How to automate? by Brandon Moore	Greg Buchholz	2007-05-27 20:18
Forum topic	Can referential transparency be bad? (puzzle included) Representing cyclic structures as nested datatypes by Brandon Moore	Andris Birkmanis	2007-05-12 00:53
Story	Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension Transformation Patterns by Brandon Moore	Ehud Lamm	2007-05-04 16:48
Forum topic	Stream Fusion Authors by Brandon Moore	Brandon Moore	2007-04-29 13:52
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