LJGS: Gradual Security Types for Object-Oriented Languages

Luminous Fennell, Peter Thiemann. LJGS: Gradual Security Types for Object-Oriented Languages. In Shriram Krishnamurthi, Benjamin S. Lerner, editors, 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. Volume 56 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Luminous Fennell

This author has not been identified. Look up 'Luminous Fennell' in Google

Peter Thiemann

This author has not been identified. It may be one of the following persons: Look up 'Peter Thiemann' in Google