Lambda the Ultimate

type	title	author	last post
Forum topic	expressivity of "idiomatic C++" I Was Just Going to Observe... by Paul Snively Templates to the Rescue, Indeed by Paul Snively No, But... by Paul Snively Known Knowns :-) by Paul Snively Close Enough for Government Work by Paul Snively What Style Would That Be? by Paul Snively Default Assumptions by Paul Snively Agreed by Paul Snively	el-vadimo	2010-11-10 22:56
Story	Machine Obstructed Proof True by Paul Snively Difficult by Paul Snively Far From Minding... by Paul Snively Secondary Reaction by Paul Snively	Tommy McGuire	2010-11-08 18:57
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Proof-Carrying Code by Paul Snively	Greg Buchholz	2010-10-22 21:48
Forum topic	Perlis Languages Careful Design by Paul Snively	Robb Nebbe	2010-10-14 16:16
Story	First-class modules: hidden power and tantalizing promises Mirage by Paul Snively	Manuel J. Simoni	2010-10-10 17:47
Forum topic	obj vs. ml vs. coq (fight?) codyroux is right... by Paul Snively	raould	2010-10-05 14:48
Forum topic	Deprecating the Observer Pattern scala.react Status? by Paul Snively	Alex Cruise	2010-09-28 03:56
Forum topic	Computational equivalent of incompleteness theorems? I was also thinking... by Paul Snively	naasking	2010-09-21 06:55
Forum topic	principle of least authority and programming languages Information Flow by Paul Snively	joshbronson	2010-09-17 20:33
Forum topic	Unifying Actors and Objects? Scope of Critique by Paul Snively Actors and Active Objects by Paul Snively	Shrutarshi Basu	2010-09-15 01:04
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
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