Java light is Type-Safe - Definitely (1998)

by Tobias Nipkow , David von Oheimb
Venue:In Proc. 25th ACM Symp. Principles of Programming Languages
Citations:40 - 0 self

Active Bibliography

12 Machine-checking the Java Specification: Proving Type-Safety – David von Oheimb, Tobias Nipkow - 1998
Java `ight is Type-Safe --- Definitely – Tobias Nipkow And, Tobias Nipkow, David Von Oheimb - 1998
5 Constraint-Based Polymorphism in Cecil – Vassily Litvinov, Craig Chambers - 1998
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
22 Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System – Vassily Litvinov - 1998
13 Application of OOP Type Theory: State, Decidability, Integration – Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico - 1994
19 An Interpretation of Typed OOP in a Language with State – Jonathan Eifrig, Scott Smith, Valery Trifonov, A. Mason, Martin Odersky - 1995
53 The Cecil language -- specification and rationale: Version 3.2 – Craig Chambers, The Cecil Group - 2004
3 Match-O, a Dialect of Eiffel with Match-Types – Dominique Colnet, Luigi Liquori - 2000
Analyzing Java in Isabelle/HOL -- Formalization, . . . – David Von Oheimb - 2001
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
40 An Imperative, First-Order Calculus with Object Extension – Viviana Bono, Kathleen Fisher - 1998
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
S’O’A University – Swadhin Kumar Barisal, Gayatri Nayak, Bighnaraj Naik
28 Foundations for Virtual Types – Atsushi Igarashi , Benjamin C. Pierce - 1998
21 On variance-based subtyping for parametric types – Atsushi Igarashi, Mirko Viroli - 2002
16 LOOJ: Weaving LOOM into Java – Kim B. Bruce, J. Nathan Foster - 2004