Lambda the Ultimate

type	title	author	last post
Story	Why numbering should start at 0 Algol 60 by Brandon Moore	Luke Gorrie	2007-01-10 17:16
Story	The Future of LtU Human factors vs. Intuition by Brandon Moore	Ehud Lamm	2006-12-26 02:37
Forum topic	Transparent Persistence Misunderstanding ST? by Brandon Moore State Isolation by Brandon Moore	playergiro	2006-12-20 17:31
Forum topic	path-sensitive dataflow analysis. How? Earlier Thread by Brandon Moore	jonathan h.	2006-12-15 20:58
Forum topic	unchecked exceptions are like runtime type checking? Termination by Brandon Moore For Finite Programs by Brandon Moore Compile time analysis and type checking by Brandon Moore	lumpynose	2006-12-13 09:40
Forum topic	Extremely static language? Following Church's Church by Brandon Moore	viergroupie	2006-12-09 01:28
Forum topic	Erlang vs C++ for Robust Telecom Software Also Distributed Haskell? by Brandon Moore	Isaac Gouy	2006-12-08 02:11
Story	Tim Bray: Dynamic-Language IDEs Definitions by Brandon Moore The direction of inference by Brandon Moore ML has Principal Typings by Brandon Moore	Ehud Lamm	2006-10-04 11:37
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram Modular Development of Certified Program Verifiers by Brandon Moore	Niels Hoogeveen	2006-10-02 18:13
Forum topic	Concurrency made easy? Lightweight Threads vs. Threadless by Brandon Moore	drwhite	2006-09-18 23:14
Forum topic	Implementing arrays Cache Hierarchy by Brandon Moore	dataangel	2006-09-02 09:52
Story	Declarative Networking: Language, Execution and Optimization Distribution Control by Brandon Moore Large datasets and Implementations? by Brandon Moore	Tommy McGuire	2006-08-28 19:44
Forum topic	generating interpreters, IDEs, etc., from simple specifications? A few resources, maybe minus the BNF by Brandon Moore	shahbaz	2006-08-23 14:34
Forum topic	First Class Values, Types as values within a Programming Language More assumptions by Brandon Moore Not meant to be exclusive by Brandon Moore Impredicativity and Row Polymorphism by Brandon Moore	Bruce Rennie	2006-07-20 00:50
Story	What is the Meaning of These Constant Interruptions? Both Throw and Val n are by Brandon Moore	Chris Rathman	2006-06-19 01:38
Forum topic	ML Modules and Haskell Type Classes: A Constructive Comparison Type classes in ML by Brandon Moore	Greg Buchholz	2006-06-18 00:51
Forum topic	Relevance of Curry-Howard Normalizing Languages by Brandon Moore	Klaus Ostermann	2006-06-12 13:36
Forum topic	Type checking and logical errors Correct Type-checker in Epigram by Brandon Moore Parametricity and Fusion by Brandon Moore ST by Brandon Moore Missing an important point by Brandon Moore	Mike Smith	2006-06-05 21:16
Story	Pugs, Practicing the Theories. gettimeofday() isn't pure by Brandon Moore	shapr	2006-06-01 18:33
Forum topic	LINQ May 2006 Preview Comega by Brandon Moore	Isaac Gouy	2006-05-13 19:55
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