recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Two papers on combinators Got it! by Charles A Stewart Cost-complexity of combinators by Charles A Stewart Glad you found us by Chris Rathman	Doug Auclair	2005-04-27 17:38
Story	2005 Programming Languages Day at Watson Why Type Erasure is Wrong by Sam Tobin-Hochstadt Feedback by javac developer ;) by Martin Bravenboer Can't say I'm in the know, bu by rossjudson After reading the paper... by Scott Johnson Right by Ehud Lamm I'm not sure what is more disturbing by Martin Bravenboer sorry - fixed by Isaac Gouy Summary for those of us without ACM access? by Scott Johnson hints - what this paper has to say by Isaac Gouy It's an important distinction... by Scott Johnson ...	Ehud Lamm	2005-04-27 13:14
Story	Computer generates verifiable mathematics proof Uhuh by marco Re: Perhaps they should care (2) by Anton van Straaten Perhaps they should care (2) by marco Perhaps they should care... by sigfpe I wonder: Does anyone see m by marco Re: Interesting claim by Anton van Straaten Interesting claim by sigfpe Machine proofs keep us honest by Anton van Straaten Well suited iff... by Chris Rathman SICM & LC by Anton van Straaten ...	Ehud Lamm	2005-04-27 10:44
Forum topic	Restructuring Partitioned Normal Form Relations Without Information Loss OK, I get the picture, definitely on topic by Charles A Stewart No categories by Andris Birkmanis On topic, off topic by Charles A Stewart	Andris Birkmanis	2005-04-27 10:10
Forum topic	Implementing a Lisp Editor - Would like some advice. Underlying feature by Brian T Rice Lisp Editors by michaelw I use Common Lisp, but I've a by Richard Newman What could be better? by Marcin Tustin don't mean to be rude, but... by rmalafaia	mjstahl	2005-04-26 18:25
Forum topic	Chemistry, Graph Tranformation and Programming Languages Bah, Humility! by shapr OK, I officially feel old. And stupid. by Ralph Richard Cook Criticisms apply nonetheless by xeo_at_thermopylae No. by gmol Not merely graph rewriting... by xeo_at_thermopylae Oops, I did it again by marco We're on the same page. by gmol You sure? by marco Cited in the paper by gmol Topic Appears to Have Active Ongoing Research by xeo_at_thermopylae ...	gmol	2005-04-25 18:22
Forum topic	Script Vs Java I would broadly agree with th by Marcin Tustin Scripting is a style of programming by Kannan Goundan Interesting Question... by Paul Snively I wonder... by Charles A Stewart And "reflective" by Frank Atanassow scripting vs. shell by Charles A Stewart My classification by Charles A Stewart Agreed by Anton van Straaten Surely the definition of "scr by Marcin Tustin In years past... by Scott Johnson ...	RajeshKannan	2005-04-25 17:55
Forum topic	Introduction to computability logic Depends which linear logic by Andris Birkmanis Adding types by Andris Birkmanis Welcome to the game :) by Andris Birkmanis Illegal moves are wins for the opponent by Dave Menendez Halting metaproblem by Andris Birkmanis Can content subsume structure? by Andris Birkmanis Substitution preserves finiteness of runs by Andris Birkmanis Home work by Andris Birkmanis Bump - a swelling of tissue usually resulting from a blow by Andris Birkmanis Du veränderst nicht den Teufel... by Frank Atanassow ...	Andris Birkmanis	2005-04-25 07:51
Story	FORTRAN pilot project More on the Smithsonian listing and such ... by orcmid	Ehud Lamm	2005-04-24 19:08
Forum topic	Sapir-Whorf again? Wikipedia speaks! by Marc Hamann Usage vs System by Marc Hamann Spirit of Whorf by Anton van Straaten Linguists agree by Andris Birkmanis Coincidence? by Marc Hamann Slippery when wet by Marc Hamann Rumors of their death... by Anton van Straaten I Wonder How It Reads in the Original Italian... by Paul Snively Heart of Darkness by Marc Hamann Well... by Andris Birkmanis ...	Andris Birkmanis	2005-04-24 14:55
first page previous page next page last page