Lambda the Ultimate

type	title	author	last post
Story	Lightweight Static Capabilities Polymorphic variants seem by Brandon Moore	Paul Snively	2021-12-02 13:45
Forum topic	Rank-0 Intersection Type System Double Post by Brandon Moore ML Has Principal Typings by Brandon Moore	Keean Schupke	2014-06-15 11:52
Story	Garbage Collection Without Paging modified collectors by Brandon Moore	neelk	2012-07-25 00:39
Story	Diagram showing all programming paradigms and their relationships Depends what "monad" means by Brandon Moore	Peter Van Roy	2012-01-13 17:06
Story	A Language-Based Approach to Unifying Events and Threads Paper has moved by Brandon Moore	shapr	2011-11-21 12:53
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Categorical Programming Language by Brandon Moore	Douglas McClean	2011-10-14 15:45
Forum topic	An Accidental Simula User, Luca Cardelli Function type annotations by Brandon Moore	Isaac Gouy	2011-09-15 12:44
Story	Delimited dynamic binding Quite a lot, I suspect by Brandon Moore	Chung-chieh Shan	2011-08-03 11:51
Story	Finding and Understanding Bugs in C Compilers Usability by Brandon Moore Constrained by implementation by Brandon Moore	James Iry	2011-04-02 07:31
Story	Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 How do you define observable behavior? by Brandon Moore	Z-Bo	2011-03-14 05:47
Forum topic	Monads vs. Actors Enumeration by Brandon Moore Connection by Brandon Moore Not even pairs by Brandon Moore Countable Choice not provable in ZF by Brandon Moore Properties and, interfaces by Brandon Moore	Sean McDirmid	2011-03-02 21:15
Forum topic	The AST Typing Problem Mostly-structural Recursion by Brandon Moore	shap	2011-01-19 03:15
Story	program verification: the very idea "Uncontroversial" by Brandon Moore Poor terminology by Brandon Moore	el-vadimo	2010-12-17 18:21
Story	A Preliminary Survey on Functional Programming Randomness and Randomness by Brandon Moore Sampling by Brandon Moore	Ehud Lamm	2010-12-14 05:28
Forum topic	Articles on Precise GC with Parametric Polymorphism Unboxed Numbers by Brandon Moore Object Representation by Brandon Moore	scottmcl	2010-12-08 20:52
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Nontermination and Soundness by Brandon Moore	Greg Buchholz	2010-10-22 21:48
Story	Omega - Language of the Future Strong Normalization by Brandon Moore	Manuel J. Simoni	2010-10-01 13:17
Forum topic	Mildly Extended MixFix Coq by Brandon Moore	shap	2010-09-23 02:15
Forum topic	What are the properties of "Functional Programming Languages"? Ack! by Brandon Moore	kaveh.shahbazian	2010-09-13 17:38
Forum topic	Overlapping Instances + Functional Dependencies Unsound? Not closed world semantics at all by Brandon Moore	shap	2010-08-08 15:11
Forum topic	The Rust Language Mutation / Linearity by Brandon Moore	Noel	2010-07-27 23:17
Story	Scribble: Closing the Book on Ad Hoc Documentation Tools Read On! by Brandon Moore	Manuel J. Simoni	2010-07-23 23:54
Forum topic	Any multi-threaded interpreters? GHCi by Brandon Moore	Pinku Surana	2010-06-26 23:58
Forum topic	Parser that allow syntax extensions Compose Away by Brandon Moore	serras	2010-01-24 03:08
Story	Patrick Logan on Software Transaction Memory Maybe the seeds of some arguments? by Brandon Moore	Ehud Lamm	2009-10-26 21:48
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