Incremental Polymorphic Type Checking With Update (1992)

Cached

Download Links

by Alan Mycroft
Citations:2 - 0 self

Documents Related by Co-Citation

579 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
944 A theory of type polymorphism in programming – Robin Milner - 1978
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
366 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
274 The polyadic -calculus: a tutorial – Robin Milner - 1991
268 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
236 Principal type schemes for functional programs – L Damas, R Milner - 1982