Formal Objects in Type Theory Using Very Dependent Types (1996)

by Jason J. Hickey
Venue:In Foundations of Object Oriented Languages 3
Citations:30 - 8 self

Active Bibliography

4 A Predicative Type-Theoretic Interpretation of Objects – Jason J. Hickey - 1997
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
23 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
131 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
141 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
451 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
Table of Contents – unknown authors - 1998
SPECIFYING AND REASONING IN THE CALCULUS OF OBJECTS – unknown authors - 2005