Lambda the Ultimate

type	title	author	last post
Story	On the origins of Bisimulation, Coinduction, and Fixed Points Who is his audience? by Marc Hamann	Ehud Lamm	2007-11-05 20:48
Story	Online Learning of Relaxed CCG Grammars for Parsing to Logical Form Chicken or Egg? by Marc Hamann dumb(x) -> fails(x) by Marc Hamann	neelk	2007-11-04 19:44
Story	The End of an Architectural Era (It’s Time for a Complete Rewrite) Authoritative data by Marc Hamann	Manuel J. Simoni	2007-10-29 23:34
Forum topic	Different results in the unit root test. Why? Accidental post? by Marc Hamann	angchanyy	2007-10-24 16:10
Forum topic	grammars as a shared executable specification for language processing tools Jughead kibitzes by Marc Hamann	Isaac Gouy	2007-10-21 13:15
Forum topic	Computing is a Natural Science Already there... by Marc Hamann	Hank Thediek	2007-10-15 20:49
Forum topic	Uniqueness Types Instead STM The best transaction system is declarative concurrency by Marc Hamann Consistency by Marc Hamann Summary by Marc Hamann Pragmatism by Marc Hamann A dangerous assumption by Marc Hamann	kaveh.shahbazian	2007-10-12 22:59
Story	Tim Bray and Erlang In the PL design sense... by Marc Hamann	Ehud Lamm	2007-10-09 21:30
Story	Binary Lambda Calculus and Combinatory Logic Minds over machines by Marc Hamann Unfree the variables! by Marc Hamann The catch is... by Marc Hamann	Chris Rathman	2007-09-28 23:59
Forum topic	implementing heap as a binary tree This is OT by Marc Hamann	lsptog	2007-09-27 18:26
Forum topic	Which Journals/Conferences to keep track of? JCAAJCRPLEOOO by Marc Hamann	sciomako	2007-09-25 03:08
Forum topic	Decayed Memoization Different cost by Marc Hamann Another name for... by Marc Hamann	SamK	2007-09-21 02:09
Story	Database Abstraction Layers and Programming Languages 'Cause we have to... by Marc Hamann An example structure by Marc Hamann Enterprise Architecture by Marc Hamann Apologies by Marc Hamann Uncomplimentary? by Marc Hamann Spurious Generality by Marc Hamann	Ehud Lamm	2007-09-13 19:46
Forum topic	Lectures on the Curry-Howard Isomorphism Lectio longa, vita brevis... by Marc Hamann Half-way Whole-hearted Review by Marc Hamann Unnatural deductions by Marc Hamann Finally Have It by Marc Hamann Taking one for the team by Marc Hamann Website Reorg by Marc Hamann	Ehud Lamm	2007-08-28 17:18
Forum topic	A question on free variable capture. Good enough by Marc Hamann Close it on the outside by Marc Hamann Don't worry, be happy by Marc Hamann	cjh	2007-08-24 00:24
Forum topic	Monad Description For Imperative Programmer Monoids for the masses by Marc Hamann What is the sound of one monad clapping? by Marc Hamann	kaveh.shahbazian	2007-08-22 18:10
Forum topic	Formal methods for O/R mapping An axiom to grind by Marc Hamann A shadowy head rises from the surface of the loch... by Marc Hamann	Andris Birkmanis	2007-08-19 00:29
Forum topic	Whoever does not understand LISP, is doomed to reinvent it. A worthwhile investment by Marc Hamann	kaveh.shahbazian	2007-07-22 19:46
Story	Piraha Exceptionality: a Reassessment I can't heeeear you... by Marc Hamann Harmer of the diminisher of nerdiness of PLT by Marc Hamann An LtU record by Marc Hamann Maybe not... by Marc Hamann Not a counter-example by Marc Hamann	Ehud Lamm	2007-06-28 04:28
Story	OOP Is Much Better in Theory Than in Practice Flaming is easier than reading papers ;-) by Marc Hamann Let's do the Timewarp again... by Marc Hamann	Ehud Lamm	2007-06-18 22:39
Forum topic	Why people don't use functional programming? Quack quack! by Marc Hamann Homework required by Marc Hamann A square circle by Marc Hamann A string theory by Marc Hamann Besieging the wrong tower by Marc Hamann	Gergely Buday	2007-06-09 16:40
Forum topic	Erlang concurrency: why asynchronious messages? Abstract asynchrony by Marc Hamann	coffeemug	2007-04-19 03:07
Forum topic	Automatic Programming The Law of Automation by Marc Hamann	J Storrs Hall	2007-03-13 14:08
Story	On the fact that the Atlantic Ocean has two sides Ditto heads of PLT? by Marc Hamann Takes one to know one by Marc Hamann	Luke Gorrie	2007-03-05 20:39
Forum topic	Why do they program in C++? Play ball! by Marc Hamann Trade offs redux by Marc Hamann Need to fix the </i> by Marc Hamann The record shows... by Marc Hamann Anonymous attitude by Marc Hamann	David Waern	2007-02-19 12:09
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