Low-level type systems for modularity and object-oriented constructs

Authors:
Dexter Kozen;Arthur Neal Glew
Affiliations:
-;-
Venue:
Low-level type systems for modularity and object-oriented constructs
Year:
2000

Citing 0
Cited 2

An efficient class and object encoding

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type-preserving compilation of Featherweight Java

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract