Lambda the Ultimate

type	title	author	last post
Forum topic	Curry Howard and more powerful type systems A Tricky Question by Marc Hamann The utility of correspondences by Marc Hamann Try before you buy by Marc Hamann There is a book by Marc Hamann	Brandon Niemczyk	2010-03-24 19:06
Forum topic	functional equivalance? Even Even by Marc Hamann Not Even Even by Marc Hamann	raould	2010-03-17 18:59
Forum topic	The Myth of the Genius Programmer Celebrity, Marketing and FLOSS by Marc Hamann	Leon P Smith	2010-03-14 16:23
Forum topic	Why type systems are interesting I see where I went wrong... by Marc Hamann Inconsistency by inhabitation? by Marc Hamann	Anton van Straaten	2010-03-08 19:47
Story	Reminder: OOPSLA is now SPLASH Informed Opinions by Marc Hamann Nice job by Marc Hamann	neelk	2010-02-22 23:35
Story	The Role of Composition in Computer Programming Mth z trs by Marc Hamann Even further than down the linear road by Marc Hamann A lot depends on context of use by Marc Hamann	James Hague	2010-02-19 01:25
Story	A Lambda Calculus for Real Analysis Interesting Work by Marc Hamann	Paul Snively	2010-02-18 00:25
Forum topic	Information regarding financial crisis Spam techniques by Marc Hamann [SPAM] by Marc Hamann	Ehud Lamm	2010-02-12 16:39
Forum topic	Extreme non-choosiness An interesting point by Marc Hamann	L Spice	2010-02-04 22:23
Forum topic	Oracles Mother Goose by Marc Hamann Big Bad by Marc Hamann Radioactive state by Marc Hamann Straw, wood and brick by Marc Hamann The Hierarchy of Statefulness by Marc Hamann Mutatis Mutandis by Marc Hamann From the other side by Marc Hamann Degrees of state by Marc Hamann	Jack Waugh	2010-02-03 18:31
Forum topic	Claiming Infinity Whew! by Marc Hamann Ditto by Marc Hamann	Julian Rohrhuber	2010-02-03 12:53
Forum topic	Declarative reactive tables Different turtles for different courses by Marc Hamann A non-RT Haskell Primitive? by Marc Hamann Can iterate by Marc Hamann Not really by Marc Hamann Primitive primitives by Marc Hamann Foundations by Marc Hamann General Case / Special Case by Marc Hamann I'm sorry, Dave. I'm afraid I can't do that. by Marc Hamann Smart is as smart does by Marc Hamann Compile your worries away by Marc Hamann ...	Sean McDirmid	2010-01-31 23:52
Forum topic	Historical or sociological studies of programming language evolution? HL/PL by Marc Hamann A potted summary by Marc Hamann A Traveller's Report by Marc Hamann Good and bad taxonomies by Marc Hamann Marketecture by Marc Hamann Weak analogy by Marc Hamann	lmeyerov	2010-01-28 22:21
Forum topic	The Next Mainstream Programming Languages Deep philosophy by Marc Hamann	Per Vognsen	2010-01-24 13:32
Story	Why Normalization Failed to Become the Ultimate Guide for Database Designers? The Silver-haired Bullet by Marc Hamann The Art of Normalization by Marc Hamann	Z-Bo	2010-01-20 15:04
Story	Enumerating the Rationals Proofs Missing From the Book by Marc Hamann Re: "Proofs from the Book" by Marc Hamann	Ehud Lamm	2010-01-19 07:04
Story	Why API Design Matters The relevant aspects by Marc Hamann The social realities of APIs by Marc Hamann	Leon P Smith	2010-01-16 12:20
Forum topic	Naive Question? Definition of "Higher Order" One, two, infinity... by Marc Hamann Start with the first order and work your way up by Marc Hamann	scottmcl	2009-12-16 11:56
Story	Eleven Theses on Clojure STM worth being excited about by Marc Hamann One language at a time by Marc Hamann I come to praise, not to bury by Marc Hamann Long live diversity! by Marc Hamann	Ehud Lamm	2009-12-15 08:25
Forum topic	Is Small Still Beautiful? Calculi Conundrum by Marc Hamann Kernel Languages And Expressiveness by Marc Hamann	scottmcl	2009-12-11 21:05
Story	John Hughes on Erlang and Haskell Not a question of bad by Marc Hamann M's paradox by Marc Hamann Looping proofs by Marc Hamann Sunshine Sketch of a Big Equivalence by Marc Hamann A Type System by any other name... by Marc Hamann Curry-Howard-Gödel-Turing by Marc Hamann Curry-Howard ain't so common by Marc Hamann Slippery slope by Marc Hamann	James Iry	2009-12-02 10:16
Story	Lambda, the Ultimate TA New presentation and new book by Marc Hamann	Ehud Lamm	2009-11-05 17:26
Forum topic	What is a Type? Types are second order by Marc Hamann What is a value? by Marc Hamann	andrew johnson	2009-10-28 20:53
Story	Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson A rhetorical answer by Marc Hamann Un chien adalou by Marc Hamann Can't decode the paradigm by Marc Hamann A Moving Target by Marc Hamann	Z-Bo	2009-10-26 23:13
Story	Patrick Logan on Software Transaction Memory Shared Context by Marc Hamann Eat your dinner before you reach for dessert by Marc Hamann A sympathetic take by Marc Hamann	Ehud Lamm	2009-10-26 21:48
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