Paper Info
Title
Tinygrace: A Simple, Safe, and Structurally Typed Language
Abstract
Grace is a new gradually, structurally typed object-oriented programming language. Formal models of existing languages provide a rigorous base for claiming type soundness, so we have set about creating a model of a subset of Grace. While much of the formal literature of objects has used structural typing, models of popular modern languages such as Featherweight Java have had to use nominal typing to match the language they are modelling. In contrast to this, we present Tinygrace: a subset of Grace with a structural type system, feature-parity with FJ, and an accompanying proof of soundness.
Year
DOI
Venue
2014
10.1145/2635631.2635848
FTfJP@ECOOP
Keywords
Field
DocType
grace,design,formal definitions and theory,language constructs and features,structural typing,formal models,languages,language design,theory
Programming language,Computer science,Typing,Strong and weak typing,Soundness,Java,Duck typing
Conference
Citations 
PageRank 
References 
1
0.35
14
Authors
2
Name
Order
Citations
PageRank
Timothy Jones1143.31
James Noble21683163.52