Lambda the Ultimate

type	title	author	last post
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
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	Manuel J. Simoni	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	The Memory Pool System: Thirty person-years of memory management development goes Open Source Runtime Target Choice by Paul Snively	tonyg	2009-11-18 22:12
Story	Lambda, the Ultimate TA Maybe... by Paul Snively	Ehud Lamm	2009-11-05 17:26
Forum topic	What is a Type? Blast From the Past by Paul Snively	andrew johnson	2009-10-28 20:53
Story	Patrick Logan on Software Transaction Memory Good Point, IMHO by Paul Snively Ditto by Paul Snively	Ehud Lamm	2009-10-26 21:48
Forum topic	ruby vs python The "Argument..." by Paul Snively I'm Not a Haskeller... by Paul Snively	shahbaz	2009-09-21 10:28
Story	A Verified Compiler for an Impure Functional Language I would only add... by Paul Snively	Paul Snively	2009-08-12 03:12
Story	Certified Web Services in Ynot	Paul Snively	2009-08-06 20:35
Story	Verified Programming in Guru Nice by Paul Snively	James Iry	2009-08-06 19:13
Forum topic	Advanced Types in Qi C++ Templates... by Paul Snively	shahbaz	2009-08-02 17:00
Forum topic	System-level Static Analysis Dawson Engler by Paul Snively	David Teller	2009-07-25 00:53
Story	Cforall It's Also Several Years Old... by Paul Snively	Jim Apple	2009-07-21 01:47
Forum topic	Proposing a LtU twitter (news) feed ... That would be me. :-) [N/T] by Paul Snively	fbahr	2009-07-20 21:36
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