Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Bingo by Paul Snively de Bruijn Criterion by Paul Snively FWIW by Paul Snively Thesis by Paul Snively See Reply to Sam by Paul Snively Fair Enough by Paul Snively Points of Comparison by Paul Snively Not Quite by Paul Snively Still Curious by Paul Snively Afoul Language by Paul Snively ...	shap	2010-03-19 18:54
Story	Recent Progress in Quantum Algorithms Bell's Theorem by Paul Snively Physics by Paul Snively	msimoni	2010-03-16 18:22
Forum topic	a "thank you" to You Opposite Road by Paul Snively	raould	2010-03-16 09:09
Forum topic	Urbit: Functional programming from scratch In particular... by Paul Snively	Matt Brubeck	2010-03-14 05:25
Forum topic	LISP basis for computable functions on S-Expressions. Not Quite by Paul Snively	Dr.GEorGE	2010-03-10 11:29
Forum topic	Why type systems are interesting Written Puns vs. Verbal Puns by Paul Snively Right! by Paul Snively Good Points by Paul Snively It's Harder by Paul Snively Axioms and Inferences by Paul Snively "Security" is a Badly Overloaded Term by Paul Snively Enlightenment by Paul Snively Into the Weeds by Paul Snively 100 Proof vs. 100% Proven :-) by Paul Snively Re: Point of static proofs? by Paul Snively ...	Anton van Straaten	2010-03-08 19:47
Story	A few billion lines of code later: using static analysis to find bugs in the real world One of which... by Paul Snively	Allan McInnes	2010-03-01 17:23
Story	A Lambda Calculus for Real Analysis Ouch by Paul Snively	Paul Snively	2010-02-18 00:25
Forum topic	Constraint Programming Local Search and Numerical Optimization Short Answer by Paul Snively	marshallp	2010-02-17 16:04
Story	Social Processes and Proofs of Theorems and Programs Excellent by Paul Snively Channeling Anton by Paul Snively Whistling in the Dark by Paul Snively Rhetorical or Tautological? by Paul Snively Falsified by Paul Snively Agreed by Paul Snively Well Put by Paul Snively Personally, I think you left by Paul Snively Wholeheartedly agreed... by Paul Snively It's gratifying... by Paul Snively ...	Luke Gorrie	2010-02-16 22:28
Story	Computational Semantics with Functional Programming See Also... by Paul Snively	Ehud Lamm	2010-02-12 18:56
Forum topic	Why prolog is by far the best, most productive, easiest programming language Flora-2 by Paul Snively	marshallp	2010-02-12 15:54
Forum topic	What are the properties of "Functional Programming Languages"? Working From Simplicity by Paul Snively	kaveh.shahbazian	2010-02-02 18:46
Story	Effective Interactive Proofs for Higher-Order Imperative Programs	Paul Snively	2010-02-01 03:18
Story	Delimited Control in OCaml, Abstractly and Concretely, System Description Different Issues by Paul Snively	Paul Snively	2010-01-26 14:22
Story	Scala Days at EPFL, Lausanne, Switzerland	Paul Snively	2010-01-24 19:23
Forum topic	The Next Mainstream Programming Languages Google "site:lambda-the-ultimate.org tim sweeney"... by Paul Snively Not That Easy by Paul Snively C++ Runtime Data by Paul Snively On Virtual Types by Paul Snively	Per Vognsen	2010-01-24 13:32
Forum topic	Parser that allow syntax extensions Where the Extension Is by Paul Snively If You Don't Mind Writing Your Parser in C++... by Paul Snively	serras	2010-01-24 03:08
Story	Certified Programming With Dependent Types Goes Beta Good Question by Paul Snively	Paul Snively	2010-01-16 00:10
Story	Syntactic Proofs of Compositional Compiler Correctness	Paul Snively	2010-01-09 17:22
Story	A Verified Compiler for an Impure Functional Language	Paul Snively	2010-01-09 17:03
Story	The AI Systems of Left 4 Dead Finally, I wonder why by Paul Snively	msimoni	2010-01-07 23:43
Forum topic	Is (probabilistic) non-determinism pure ? Hansei by Paul Snively	Steven Obua	2009-12-30 21:38
Story	Objects as Modules in Newspeak Sadly by Paul Snively	James Iry	2009-12-27 23:52
Forum topic	Go or Unladen Swallow? Tight Coupling by Paul Snively "Systems Programs" and BitC by Paul Snively	Srikumar Subramanian	2009-11-27 15:46
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