Type Inference for Recursively Constrained Types and its Application to OOP (1995)

Cached

Download Links

by Jonathan Eifrig , Scott Smith , Valery Trifonov
Citations:84 - 15 self

Documents Related by Co-Citation

218 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
944 A theory of type polymorphism in programming – Robin Milner - 1978
310 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
485 A semantics of multiple inheritance – Luca Cardelli - 1988
104 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
625 Compiling with Continuations – A Appel - 1992
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976