Lambda the Ultimate

type	title	author	last post
Forum topic	The Halting Problem and Program Proving Algorithms Your Guy by Paul Snively	johnnyb	2010-06-29 23:30
Story	A Brief, Incomplete ... History of Programming Languages Favorite Language Design Comment by Paul Snively	Anton van Straaten	2010-06-17 05:37
Forum topic	plt vs. something else for programming in the large? XRef by Paul Snively Thank You by Paul Snively Other Useful Models by Paul Snively Its a Fair Cop... by Paul Snively The Many Histories by Paul Snively Exactly by Paul Snively Meaty! by Paul Snively Is... by Paul Snively Nope by Paul Snively Trenchant! by Paul Snively ...	raould	2010-06-17 01:07
Forum topic	Algebraic Pure... by Paul Snively	morphir	2010-06-11 08:33
Story	Adding Type Constructor Parameterization to Java Ditto by Paul Snively	Manuel J. Simoni	2010-06-08 21:53
Forum topic	SEC interested in formalising contracts ... in Python Jane Street Capital... by Paul Snively	Noel	2010-05-06 12:56
Story	LtU turns 7: The year of spam High Grid, Low Group by Paul Snively Seconded by Paul Snively	Ehud Lamm	2010-04-29 05:51
Forum topic	How can C Programs be so Reliable? C Done Well is a Thing o Beauty by Paul Snively	Manuel J. Simoni	2010-04-23 11:54
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-04-23 11:28
Forum topic	Visual programming for movies, games Short-Circuit by Paul Snively *sigh* by Paul Snively	raould	2010-04-21 11:53
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Totally! by Paul Snively OK... by Paul Snively Nothing! by Paul Snively *sigh* by Paul Snively More Reading-Into Fun! by Paul Snively OK, Maybe Just One Point by Paul Snively Whoops... by Paul Snively You're Mostly Reiterating My Points! by Paul Snively Obviously Not by Paul Snively Good Points by Paul Snively ...	Isaac Gouy	2010-04-20 22:32
Forum topic	splitting the program into formalizable vs. non-formalizable parts? Thank You by Paul Snively A Few Recommendations by Paul Snively Good Point by Paul Snively What's the point? by Paul Snively Conjecture vs. Theory by Paul Snively Apologies by Paul Snively Interesting by Paul Snively More to Come... by Paul Snively I followed the link... by Paul Snively	raould	2010-04-17 03:48
Forum topic	Combinators for contracts Adoption Rate by Paul Snively From the Lambda Wayback Machine :-) by Paul Snively	Charles Stewart	2010-04-16 14:45
Story	Can functional programming be liberated from the von Neumann paradigm? Who Knew that HP... by Paul Snively	Charles Stewart	2010-04-14 20:25
Story	Recent Progress in Quantum Algorithms Bell's Theorem by Paul Snively Physics by Paul Snively	Manuel J. Simoni	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 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	Computational Semantics with Functional Programming See Also... by Paul Snively	Ehud Lamm	2010-02-12 18:56
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
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