recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Why recursing is better than looping Java, Pascal by rmalafaia Writers/readers by Andris Birkmanis I would agree with this. I a by michaels Incidentally, I hear that "re by Tayssir John Gabbour Fold! by Neil Madden Recursion was much less intuitive than iteration in my course by Achilleas Margaritis More so than iteration, I mea by Matthew Willson Not intuitive by Matthew Willson perhaps by pantagruel yep by Marsh J. Ray ...	johnnyb	2005-06-29 20:27
Story	A Formulae-as-Types Interpretation of Subtractive Logic A confluent lambda-calculus with a catch/throw mechanism by Andris Birkmanis	Andris Birkmanis	2005-06-29 12:18
Forum topic	Dyna: a weighted dynamic logic programming language	marco	2005-06-28 22:28
Story	Lambdascope I'm Trying... by Paul Snively Explicit substitution for graphs by Christian Cl Any Uses? by q37 Very much of interest by Charles A Stewart	Andris Birkmanis	2005-06-28 20:37
Story	GHC Survey Results	Matthew Morgan	2005-06-28 15:17
Story	Revisiting coroutines Not exactly by Andris Birkmanis previously by Isaac Gouy	Andris Birkmanis	2005-06-28 07:04
Story	How To Read a Paper No, use trivial logic by Andris Birkmanis No exception! Use constructive logic by Josef Svenningsson Paper Tiger or Tiger Paper? by Marc Hamann Now apply them.. by Ehud Lamm My 2 cents...ahem...points by Manuel M. T. Chakravarty Maybe, but... by Greg Buchholz Exception to every rule by Geoff Wozniak More rules on how to write by Peter Van Roy Sure by Ehud Lamm I'm not sure I understand by Leon P Smith ...	Ehud Lamm	2005-06-27 11:09
Story	LispNYC's proposed Summer of Code projects	Ehud Lamm	2005-06-26 18:39
Story	Scottish Programming Language Seminar DT guys by Jeff Cutsinger Paper by Jeremy Using Sub-types and Intersect by Ehud Lamm	Philip Wadler	2005-06-26 16:03
Story	Online computer science archives ncstrl.org by schnarch456 Suggestion by Ehud Lamm Great! by Ehud Lamm Comment deleted by poster by Glomek	Luke Gorrie	2005-06-26 15:24
first page previous page next page last page