recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	A virtual class calculus Object-based inheritance and delegation layers by Klaus Ostermann Definitely... by Paul Snively Follow-up? by Andris Birkmanis Tribe by Adriaan Moors Same Source by Paul Snively	Niels Hoogeveen	2006-03-28 16:44
Story	A Very Modal Model of a Modern, Major, General Type System A new one for the Papers section? by Marc Hamann It seeme that the SEP has a by Ehud Lamm Goedel-Loeb logic by Charles Stewart Re: Quantifiers by Dave Herman Quantifiers and Dependent Types by Gavin Mendel-Gleason Quantifiers by Tim Sweeney Heh by Paul Snively Paper of the month by plragde Gilbert would have been proud! by Kaushik Sridharan I'm disappointed the by Doug Orleans	Ehud Lamm	2006-11-08 20:17
Story	A Veriï¬ed Compiler for an Impure Functional Language I would only add... by Paul Snively Depends on the domain by Allan McInnes But what about continuations? by Jeremy Siek Deterministic by Bob F In the intro section to his by Vilhelm Sjoberg Practical uses by Matt M Practical implicitions by barrkel	Paul Snively	2009-08-12 03:12
Story	A Verified Compiler for an Impure Functional Language	Paul Snively	2010-01-09 17:03
Forum topic	A Variation of the Expression Problem and two Solutions in Scala Does the open class solution support object-level extensibility? by Bruno Oliveira Components and Virtual Classes by Bruno Oliveira I went through this in by Sean McDirmid	Bruno Oliveira	2008-12-29 05:59
Forum topic	A usage poll for the Coq proof assistant	gasche	2013-12-29 01:07
Forum topic	A Usability question: Too much typing? If you insert the inferred by Matt M That is basically the core by David R. MacIver Agreed by raould Yes, everything I have to by David R. MacIver If you'll pardon the by David R. MacIver brevity by dbfaken And of course if you move by Matt M I don't really agree with by David R. MacIver Formalism vs. UI by raould Fundamental Design Parameter by Marc Hamann	raould	2006-12-23 17:24
Story	A unified approach to solving seven programming problems Videos for related talks by gregr Thanks. The interactive by Ehud Lamm Interactive examples by gregr It would be interesting to by Ehud Lamm	Ehud Lamm	2017-09-16 17:40
Forum topic	A Typeful Approach to Object-Oriented Programming with Multiple inheritance "Programming Objects with ML- by Adriaan Moors O'Caml's Object System by Paul Snively	Jim Apple	2005-06-30 06:53
Story	A Typed, Compositional Logic for a Stack-Based Abstract Machine There are also various kinds by Hank Thediek Just sticking this in by Derek Elkins	Ehud Lamm	2005-07-02 14:15
first page previous page next page last page