recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Anyone remember Russell (the language, that is)? OK, I'll dig out my old tape backups... by cyberviking Uses for type values by Alasdair Scott Thankfully, the full paper is by Tim Sweeney Russell - that's my language! by cyberviking Types as values by Geoff Wozniak Seems like.. by Alexandre Richer remember the references by Scott Turner	beev	2005-11-30 01:47
Story	Systematic search for lambda expressions Strikes me as being similar t by rossjudson ADATE by awwaiid Original reference by Tom Duff This reminds me... by alf Aliens... by Ehud Lamm	Jim Apple	2005-11-29 20:56
Forum topic	Ghost bumps Admining by Ehud Lamm Visualizing monads by Anton van Straaten	Andris Birkmanis	2005-11-29 20:53
Forum topic	Interesting Logo Site: Elica Brian Harvey's Books by Todd Coram Be sure to read Brian Harvey's Logo books by James Hague	Todd Coram	2005-11-29 00:27
Story	New category for Ruby posts	Ehud Lamm	2005-11-25 13:35
Forum topic	programming language inventors quiz That's OK... by Anton van Straaten sorry by remco greve Previously on LtU by Anton van Straaten	remco greve	2005-11-24 20:27
Forum topic	Dependent types: literature, implementations and limitations ? There is basicaly no problems by Felicia Li Svilling So, reflection, extension and by Ehud Lamm Dependent type encodings in Haskell or ML by Oleg Elaborating on Derek's comments... by neelk Your understanding is right by Derek Elkins C's void is unit in most cases by Andris Birkmanis Void and void * in C by johnwcowan My bad by David Teller Void type by Andris Birkmanis Food for thought by David Teller ...	David Teller	2005-11-24 11:55
Story	Monads in Ruby Toy by Felicia Li Svilling VB! by Mike Smith Python by slom OCaml by David Teller caveat lector by Dave Herman Hah! by mental Not yet... by Matt Hellige Prolog by Greg Buchholz VB? ;-) by Ehud Lamm Doh, I forgot Scheme! by shapr ...	Matt Hellige	2005-11-24 11:12
Forum topic	Fortress Specs Updated: 0.785 Inverse acres by rici Thank you for the days... by Neil Madden Disambiguation based on name doesn't work by Alan Eliasen You almost make it sound conv by Neil Madden Type-checking doesn't work for reciprocals of dimensionless nums by Alan Eliasen A little type-checking removes a lot of ambiguity by Allan McInnes a hacker's idol by rmalafaia Reciprocal is ambiguity by Alan Eliasen you do know its stated goal i by rmalafaia Ambiguous per se? by Neil Madden ...	Givas	2005-11-24 04:51
Story	Putting Curry-Howard to Work Or TWO specifications by Allan McInnes Thanks by Andris Birkmanis buffers and pumps by James McCartney Congestions by Andris Birkmanis Pipes should not have polarity by Sjoerd Visscher Logic programming by Hank Thediek Next step: GAT? by heisenbug polarities and control flow by James McCartney regarding example 13 by James McCartney Oh, wow by emk ...	Andris Birkmanis	2005-11-21 18:55
first page previous page next page last page