recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	J&: Nested Intersection for Scalable Software Composition C++ doesn't do this by andru Pointers... by Matt Hellige Actually, I totally forgot by naasking Can you provide a pointer? by andru As for Jones' paper: while by naasking Technical by Andreas Rossberg And I can assure you that it by naasking Complexity by Andreas Rossberg Going the other way round, by naasking MixML and first-class modules by Andreas Rossberg ...	Andris Birkmanis	2008-08-12 20:10
Story	Computer Science Education: Where Are the Software Engineers of Tomorrow? residual defects by el-vadimo 3) [...] It would be by Z-Bo If what the industry wants are technicians? by Scott Johnson But without naming names by Z-Bo Follow-up article: "Who Killed the Software Engineer?" by Allan McInnes Industrial use will follow publicized and explicated examples by grackle Perhaps I should have used Z by Allan McInnes Please try to keep the by Ehud Lamm Complete your argument by Z-Bo Open your eyes, maybe even try squinting a little by Z-Bo ...	Ehud Lamm	2008-04-21 22:03
Story	Call-by-value Termination in the Untyped Lambda-calculus Nina Bohr by neelk Typo ? by renaud Authors by Charles Stewart	Daniel Yokomizo	2008-01-08 23:22
Story	Prediction for 2008 Scoring myself by bhurt-aw Prediction revisited by Kay Schluehr Proper tail calls in C by jorend Then it was a con-currency... by Ehud Lamm Hello, by James Iry Good one! by Ehud Lamm Lambda, the ultimate... by Anton van Straaten Only if you find a banker by Ehud Lamm Woohoo! I win by James Iry It's not even February yet, by Ehud Lamm ...	Ehud Lamm	2008-12-29 15:56
Story	Engineering Formal Metatheory Convergence by Paul Snively Nominal Isabelle by Teme Yep by Paul Snively	Allan McInnes	2008-01-12 23:43
Story	ACM Classic Books Series Thanks for the update. by Ehud Lamm 200$ ACM Digital Library subscription required now by trond olsen My own experience of being by Philippa Cowderoy Ok then by blob	Ehud Lamm	2008-12-31 23:05
Story	The Design and Implementation of Typed Scheme That's backwards by Jeremy Siek More details by Sam Tobin-Hochstadt That is incorrect by Jeremy Siek Related to something we used by Jacques Carette Functions not arguments by Vesa Karvonen Types by Derek Elkins The plus function reminds me by naasking Encoding by Vesa Karvonen Type Inference in a different Type Algebra by per gustafsson Parametricity by Derek Elkins ...	Ehud Lamm	2008-02-08 03:56
Story	Recycling Continuations I've been looking for this paper. by Derek Elkins	neelk	2008-01-25 23:03
Story	WaveScript Yes, domain specific, but not very. by Ryan Newton Very domain specific by raould	Ehud Lamm	2008-01-31 17:23
Story	A Model for Formal Parametric Polymorphism: A PER Interpretation for System R Thanks! by neelk Link by Charles Stewart	neelk	2008-01-28 20:50
first page previous page next page last page