The Nimble Type Inferencer for Common Lisp-84 (1990)

Cached

Download Links

by Henry Baker Nimble , Henry G. Baker
Venue:Tech. Rept., Nimble Comp

Active Bibliography

12 Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability – S. Alexander Spoon, Olin Shivers - 2004
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
52 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
4 CLOStrophobia: Its Etiology and Treatment – Henry G. Baker - 1991
26 Polymorphic predicate abstraction – Thomas Ball, Todd Millstein, Sriram K. Rajamani - 2000
99 ADAPTIVE OPTIMIZATION FOR SELF: RECONCILING HIGH PERFORMANCE WITH EXPLORATORY PROGRAMMING – Urs Hölzle - 1994
63 A Type System for Smalltalk – Justin O. Graver, Ralph E. Johnson - 1990
82 Making Type Inference Practical – Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach - 1992
Progressive Types ∗ – Joe Gibbs Politz, Hannah Quay-de La Vallee, Shriram Krishnamurthi
2 Practical, pluggable types – Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz - 2007
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
Precise Type Analysis by Abstract Interpretation – Jens Knoop, Wolfgang Golubski - 1996
141 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
210 An Implementation of Interprocedural Bounded Regular Section Analysis – Paul Havlak , Ken Kennedy - 1991
29 Type Substitution for Object-Oriented Programming – Jens Palsberg, Michael I. Schwartzbach - 1990
19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994