Lambda the Ultimate

type	title	author	last post
Forum topic	Is null needed? Well... by Paul Snively	BigZaphod	2008-07-25 03:26
Story	Practical Set Theory Ontic by Paul Snively	Charles Stewart	2008-07-24 22:58
Forum topic	Practical Bits of Making a Compiler for a New Language You don't have to be crazy to develop BitC... :-) by Paul Snively BitC and PreScheme by Paul Snively	Eli Gottlieb	2008-07-24 01:53
Story	Church’s Thesis and Functional Programming Holy Cow! by Paul Snively	Chris Rathman	2008-07-22 00:14
Forum topic	Update to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" New Lambda Tamer Release by Paul Snively	Paul Snively	2008-07-08 20:53
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	2008-07-07 14:16
Story	Getting Started "Keep It Real?" by Paul Snively Meandering by Paul Snively PL Design Launching-Off Points by Paul Snively	Ehud Lamm	2008-06-24 20:05
Forum topic	Writing a new language - ideas? There is no escape... by Paul Snively	david yang	2008-06-24 16:47
Story	Parametric Higher-Order Abstract Syntax for Mechanized Semantics	Paul Snively	2008-06-22 20:50
Story	Pure imperative programming Is it? by Paul Snively	Charles Stewart	2008-06-22 19:29
Story	Applied Proof Theory: Proof Interpretations and their Use in Mathematics I'm very interested... by Paul Snively	Ehud Lamm	2008-06-19 18:43
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future This is a really good question... by Paul Snively Disappointing by Paul Snively	Ehud Lamm	2008-06-18 15:17
Story	Diagram showing all programming paradigms and their relationships Good additions! by Paul Snively My list by Paul Snively Yep by Paul Snively Distinction: with a difference or not? by Paul Snively Interesting point... by Paul Snively I'm still confused... by Paul Snively To answer questions with questions... by Paul Snively	Peter Van Roy	2008-06-15 10:16
Forum topic	First class class objects, class vs. value namespaces, etc. Aardappel by Paul Snively	scottmcl	2008-06-12 20:11
Forum topic	what a type system always proves vs. what it can be made to prove I'm not Ehud... by Paul Snively Exactly by Paul Snively	bdenckla	2008-06-10 17:56
Story	Types Considered Harmful Yep by Paul Snively	Chris Rathman	2008-06-06 17:06
Story	Will Wright Presents Spore... and a New Way to Think About Games Artists vs. Programmers Given "Procedural X" by Paul Snively	Ehud Lamm	2008-06-06 16:30
Forum topic	Category theory in design Quote by Paul Snively	jdgallag	2008-05-29 15:49
Story	The YNot Project Callout by Paul Snively Clarification by Paul Snively Obviously by Paul Snively The Challenge... by Paul Snively Good Question! by Paul Snively	Paul Snively	2008-05-28 16:22
Story	Lambda, the Ultimate TA Maybe... by Paul Snively	Ehud Lamm	2008-05-27 19:20
Forum topic	Scala Lift Off Unconference review I have little to add... by Paul Snively	raould	2008-05-26 21:06
Forum topic	Understanding category theory and its practical applications Connections by Paul Snively I don't know if this is a "practical application," but... by Paul Snively	Winheim Raulsh	2008-05-26 05:25
Story	Linear Logical Algorithms Facts tend to be conditional... by Paul Snively	neelk	2008-05-21 13:33
Story	The irreducible physicality of security properties Quite Right by Paul Snively Background by Paul Snively	Charles Stewart	2008-05-18 14:42
Story	Logical Algorithms Yep by Paul Snively	neelk	2008-05-15 22:53
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