recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	The Role of Type Equality in Meta-Programming Staged Interpretation Extract by andrew cooke Type Equality and so on by pasalic The fuss by Niels Hoogeveen I do not understand why all the fuss. by Achilleas Margaritis Giving Dr. Pasalic his due by fruehr You should by Ehud Lamm Worth a story by Andris Birkmanis In Haskell (as implemented in by keean Putting Curry Howard to Work by Niels Hoogeveen	Niels Hoogeveen	2006-06-26 15:49
Forum topic	Rules for Developing Safety-Critical Code Just going over my little list of Rules for Safety Critical.... by John Carter Of course. The point is that by Ehud Lamm Expressiveness by carter How about the Van Roy and Haridi Approach? by Peter J. Wasilko Feature restriction by Leland McInnes Well, there is the obvious by Jeremy Penner Tried and tested by Ehud Lamm Ada by Allan McInnes I think that's a good idea, by James Hague The Definition of Safety-Critical Code & A Modest Proposal by Peter J. Wasilko ...	Peter J. Wasilko	2006-06-25 21:26
Page	The Spirit of LtU	Ehud Lamm	2006-06-25 19:20
Forum topic	Site error relating to "cache.myi" Fixed, hopefully by Anton van Straaten We know. Thanks. by Ehud Lamm Happens to me too, also on by Jonathan Tang	Christopher Campbell	2006-06-25 16:20
Forum topic	Ruby .NET compiler released Hear John Gough talk about Ruby .NET by Erik Meijer	Dominic Cooney	2006-06-23 06:18
Forum topic	The OO barrier hacks by rmalafaia Au Contraire! by Paul Snively ADTs in a world without boundaries by Kay Schluehr As I tried to say above... by Chris Rathman Changing things by Peter Van Roy Embracing changes by Kay Schluehr For one thing, proving that by Curtis W Undecidable by Paul Snively I disagree that it is a by Kay Schluehr Original quote by Andreas Rossberg ...	snk_kid	2006-06-22 14:07
Forum topic	How are GADTs useful in practical programming? Deriving combinator libraries a la John Hughes by Josef Svenningsson Yampa by Niels Hoogeveen Typed Contracts for Functional Programming by Ethan Aubin Eliminating Multiple-Array Bound Checking through Non-dependent by Oleg Concrete yet invented example by Daniel Yokomizo logic programming by Hank Thediek Lightweight dependent types by Oleg Actually no by Daniel Yokomizo No GADTs by Greg Buchholz I don't know if this counts by Philippa Cowderoy ...	Klaus Ostermann	2006-06-21 13:31
Story	Charles Babbage Institute Thnx by Niels Hoogeveen I neither confirm nor deny... by Anton van Straaten They were forum items not by Ehud Lamm make a move by Niels Hoogeveen The oral histories are fun by Ehud Lamm	Niels Hoogeveen	2006-06-21 11:27
Story	A Mobility Calculus with Local and Dependent Types Use blockquote for by Ehud Lamm	Niels Hoogeveen	2006-06-20 12:47
Forum topic	Why only 'minimal' languages A language should support first class tuple types. by Achilleas Margaritis Because it's easier to change libraries than languages by DavidA [admin] explanation by Anton van Straaten Note that we're talking by renox compile time vs runtime by Rys McCusker I'm sure the engineers would by Derek Elkins To try to add features by Derek Elkins I apologize for not well thought out criticism... by Chris Rathman I tried to clarify by Karsten Wagner Rules of civilized conversation by Ehud Lamm ...	Karsten Wagner	2006-06-19 15:33
first page previous page next page last page