Lambda the Ultimate

type	title	author	last post
Forum topic	What are the properties of "Functional Programming Languages"? Working From Simplicity by Paul Snively	kaveh.shahbazian	2010-09-13 17:38
Story	Type Classes as Objects and Implicits Lightweight Multi-Stage Programming by Paul Snively Hmmm... by Paul Snively BER-MetaOCaml by Paul Snively	Paul Snively	2010-08-26 06:09
Story	It's been ten years! Let's hope... by Paul Snively Lambda the Ultimate... by Paul Snively	Ehud Lamm	2010-08-11 08:07
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency Reset by Paul Snively	Hewitt	2010-08-10 14:23
Forum topic	The Rust Language Ur/Web by Paul Snively	Noel	2010-07-27 23:17
Forum topic	Is mathematics invention or discovery? N/A by Paul Snively	Justin Johansson	2010-07-20 08:14
Forum topic	Questions about Semantics. Re: Semantics by Paul Snively	Matt Estes	2010-07-15 05:47
Forum topic	Uncle Bob's talk at RailsConf 2010 It's Tur...ing Machines All the Way Down by Paul Snively	Marc Hamann	2010-07-07 20:43
Story	SIGPLAN's first Programming Languages Software Award goes to LLVM What's mature? by Paul Snively	bashyal	2010-07-06 19:16
Forum topic	A lambda calculus with arbitrary set primitives Forget Measures... by Paul Snively In the interest of ecumenicism... by Paul Snively Markov by Paul Snively	Neil Toronto	2010-07-01 12:56
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
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