Lambda the Ultimate

type	title	author	last post
Story	Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Why isn't first order enough? by Watson Ladd	Paul Snively	2012-02-29 19:59
Story	Why Object-Oriented Languages Need Tail Calls It's the same by Watson Ladd Explicit where? by Watson Ladd Reachability and Scoping Related? by Watson Ladd I understand it as ensuring by Watson Ladd	Leon P Smith	2011-10-01 21:58
Forum topic	BitC is back I think that is a good idea, by Watson Ladd	Noel	2010-03-23 00:25
Story	A Tiny Computer Interesting Architecture by Watson Ladd	Luke Gorrie	2009-06-06 05:39
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First Efficiency problem by Watson Ladd	Luke Gorrie	2009-03-14 06:49
Story	A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler From glancing at the paper by Watson Ladd	Allan McInnes	2009-02-16 15:44
Forum topic	The Origins of the BitC Programming Language Is all this complexity necessary? by Watson Ladd	Isaac Gouy	2009-01-30 00:38
Story	Differentiating regions Dead link by Watson Ladd	Ehud Lamm	2008-08-18 21:54
Forum topic	Preemptive concurrency via compiler-inserted checks Break on GC by Watson Ladd	naasking	2008-06-16 03:59
Forum topic	Generating useful errors in a functional stream parser I don't know if finding errors exactly is possible by Watson Ladd	Alex Rubinsteyn	2007-09-13 16:14
Story	An Intensional Type Theory: Motivation and Cut-Elimination Consistent and Complete? by Watson Ladd	neelk	2007-03-19 11:13
Story	Second Life Faces Threat to its Virtual Economy Not really by Watson Ladd It can't be done by Watson Ladd	Paul Snively	2006-11-18 09:04
Story	Marc Andreessen: A Web Odyssey What about earlier langauges? by Watson Ladd	Ehud Lamm	2006-09-22 01:07
Forum topic	Concurrency made easy? Concurrent C by Watson Ladd	drwhite	2006-09-18 23:14
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