Lambda the Ultimate

type	title	author	last post
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
Story	50 years of “Syntactic Structures” Not a good analogy by Marc Hamann A critical view by Marc Hamann	Ehud Lamm	2007-02-13 03:31
Forum topic	Opinions on _Theoretical Introduction to Programming_? Beautiful Glue by Marc Hamann The spirit of my spirit by Marc Hamann Invoking the spirit by Marc Hamann Glue is not goo by Marc Hamann A worrisome distinction by Marc Hamann	Wolf Logan	2007-02-08 03:20
Story	Locus Solum: From the rules of logic to the logic of rules Maybe? by Marc Hamann A Riddle by Marc Hamann	Andris Birkmanis	2007-01-20 06:18
Forum topic	Call by push-value Reality by Marc Hamann	Denis Bredelet -jido	2007-01-16 11:07
Story	The Future of LtU The Challenge by Marc Hamann Human Factors Blues by Marc Hamann Theory as systematization by Marc Hamann 21st Century Boy by Marc Hamann	Ehud Lamm	2006-12-26 02:37
Forum topic	A Usability question: Too much typing? Fundamental Design Parameter by Marc Hamann	raould	2006-12-23 17:24
Forum topic	Abstractly typed languages A list by any other name by Marc Hamann	Matthew Willson	2006-12-15 04:58
Story	[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner [Community] A neutral reading by Marc Hamann	cdiggins	2006-12-14 05:12
Forum topic	unchecked exceptions are like runtime type checking? Yielding to temptation by Marc Hamann New type checking for LtU by Marc Hamann	lumpynose	2006-12-13 09:40
Forum topic	excitement in language research? One, Two by Marc Hamann	adamarthurryan	2006-12-13 08:50
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