Lambda the Ultimate

type	title	author	last post
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
Forum topic	Expect New Major Language Within Five Years Completing Identifiers by Brandon Moore	Anton van Straaten	2007-04-17 01:00
Forum topic	Generators/Iterators and lazy evaluation Delimited Control by Brandon Moore	technophobicgeek	2007-04-05 11:28
Story	Omega A Framework for Extended Algebraic Data Types by Brandon Moore	Bryn Keller	2007-03-20 21:02
Story	Meta-Compilation of Language Abstractions See also Active Libraries by Brandon Moore	Anton van Straaten	2007-02-25 20:30
Story	Termination Checking with Types Curry-Howard and Termination by Brandon Moore	neelk	2007-02-09 20:53
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
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