recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Type evolution during construction Overcomplexifying...maybe by Ben L. Titzer Typestate and Linear Types by dmbarbour The paper I cited above by gasche Stagin by munificent Virgil's model by Ben L. Titzer 3 stages by Ben L. Titzer What system name? by Krilnon Cool by lmeyerov A language I worked on over by Krilnon no paper refs, just some personal mental models ... by Rys McCusker ...	shap	2013-01-08 18:45
Forum topic	Type inference and unification algorithms PLAI by Greg Buchholz	procyon	2007-01-03 00:19
Forum topic	Type inference and union types Unions and type lattices by Thomas_C Yes by Matt Hellige You got it backwards, by neelk Has anyone come across by Matt Hellige Type invariants by Thomas_C Hacks, IMO by Andreas Rossberg Branching on Type? by Matt M What is a hack? by Sjoerd Visscher Does not mix with polymorphism ? by Thomas_C Does not mix with polymorphism by Andreas Rossberg ...	Thomas_C	2007-04-29 19:36
Story	Type inference for correspondence types	Paul Snively	2008-12-09 18:46
Forum topic	Type inference for free? Non-standard semantics by Brandon Moore Thanks by OleKristensen I thought about test driven by Kay Schluehr Abstract Interpretation by Matt Hellige The question is underconstrained by Derek Elkins I assume that F is by OleKristensen Do you just asume that F is by Felicia Li Svilling termination is irrelevant by OleKristensen I think..... by Thomas Lord Thanks for the replies by OleKristensen ...	OleKristensen	2007-07-18 22:45
Story	Type inference for Python Progress? by cjbprime not incorrect by dough This is similar to using a by Nicolas Cannasse type feedback admin by Rys McCusker Instead you'll get optional by Curtis W Thanks by Anton van Straaten Uncertainty about Type Feedback by logicnazi Guido doesn't get to decide :) by Anton van Straaten p.s. python is never getting type inference by dough also already implemented in boo by dough ...	Anton van Straaten	2008-02-07 21:04
Forum topic	Type Inference in Object Oriented Languages How stupid was I? by Sean McDirmid Chuck, Type inference for Squeak using the DDP algorithm by Adriaan Moors Nemerle has type inference by naasking Self, Starkiller by shapr Variance / Subtyping by Nicolas Cannasse Finding out whether the by neelk Subclass/prototype polymorphism? by Riaan Moll How difficult? by Johan Tibell O'Haskell might be a by Peter A Jonsson It is by Andreas Rossberg ...	Johan Tibell	2015-03-09 01:57
Forum topic	Type Mapping in Source-To-Source Translation Argument dependant lookup by AaronNGray Great, thanks for the hints, by thomash [deleteme] by thomash Several ways to approach the problem by Z-Bo	thomash	2020-11-19 02:27
Forum topic	Type Nomenclature Seriously, though, it's the by Andreas Rossberg Oversimplified web browser. by Peter A Jonsson Only solved in wetware by Anton van Straaten TaPL reading tips: just skip the proofs by Kannan Goundan Wash, rinse, repeat by Anton van Straaten Your last point exemplifies w by Matt Estes Moof by Per Vognsen And one chapter on mutable st by Philippa Cowderoy Dynamic checking vs dynamic typing by Scott Johnson Physical representations by Scott Johnson ...	David B. Held	2005-11-09 11:06
Forum topic	Type Refinements for Programming Languages	Jim Apple	2006-02-02 05:44
first page previous page next page last page