Comparing object encodings
Comparing object encodings
复制标题
DOI：
10.1006/inco.1999.2829
复制
发表时间：
1999-11-01
影响因子：
1
通讯作者：
Pierce, BC
中科院分区：
文献类型：
--
作者：
Bruce, KB;Cardelli, L;Pierce, BC
Recent years have seen the development of several foundational models for statically typed object-oriented programming. But despite their intuitive similarity, differences in the technical machinery used to formulate the various proposals have made them difficult to compare. Using the typed lambda-calculus F-
