recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Languages best suited for scientific computing? one language to rule them all by holst Scala? by raould Hate IEEE-754? by Tom Duff Titanium by lmeyerov ZPL? by Greg Buchholz F# by Dave Lopez Great suggestions by JustinTrellis Nial by Rahul Gopinath Sage + Cython by nevare Haskell not the best choice here by sigfpe ...	JustinTrellis	2008-04-24 18:59
Forum topic	Tom 2.6 released : matching constraints, strategic programming with java objects	Antoine Reilles	2008-04-24 09:59
Forum topic	M.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. This is getting way by Ehud Lamm Book on its way :-) by Gal Amram When I first saw your by Ehud Lamm Well, well well... You by Ehud Lamm Analogy by Gal Amram Yeah, right. So let me by Ehud Lamm On the contrary... by Paul Snively AI by Ehud Lamm Sergei Artemov by Paul Snively Some of these were discussed by Ehud Lamm ...	Gal Amram	2008-04-24 00:38
Story	Derivatives and dissections of data types Finally here by Jacques Carette McBride uses mu by sigfpe Interesting... by Jason Dusek Zeilberger by genneth Nonsense with equations by Charles Stewart Sign Me Up by Jason Dusek There's no problem with limits... by sigfpe 1 + X + X^2 + X^3 + ... == by genneth Take a list and make a hole in it by sigfpe Agree with Philippa by Matt Hellige ...	Andris Birkmanis	2008-04-23 00:45
Forum topic	Un-filter (or merge) lists Interesting. It did not occur to me by Denis Bredelet -jido A filter is a kind of fold. by neelk Well of course... by fadrian	Denis Bredelet -jido	2008-04-22 18:37
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) NESL by mrd No, it's not just taking by Derek Elkins Syntactic sugar by Denis Bredelet -jido Foldr by Per Vognsen Endomorphisms by Matias Giovannini Great Links by cdiggins But the APL operation... by sigfpe Sure by lennart i'm obviously clueless by raould And the direction is already in the list by fruehr ...	cdiggins	2008-04-22 17:11
Story	HMF: Simple type inference for first-class polymorphism Very appealing by Alex Rubinsteyn	cdiggins	2008-04-22 15:06
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	Flexible types: Robust type inference for first-class polymorphism [comment deleted] by Daniel Ehrenberg	naasking	2008-04-21 18:43
Story	The Theory of Classification - A Course on OO Type Systems Updated link to Simons bibliography by AJHSimons Updated links to these articles by AJHSimons Reply from Anthony Simons by Ehud Lamm I think you're right. by Benjamin D. Cutler Am I missing something... by dbfaken Interesting by Ehud Lamm ah. previously metioned when by andrew cooke	andrew cooke	2008-04-21 11:09
first page previous page next page last page