- Kim B. Bruce, Albert R. Meyer, and John C. Mitchell. The semantics of second-order lambda
calculus. Information and Computation, 85(1):76-134,
March 1990.
Abstract,
References,
and Citations.
- Kim B. Bruce and Giuseppe Longo. A modest model of records,
inheritance and bounded quantification. Information and
Computation, 87(1/2):196-239, July/August 1990.
References,
Citations,
etc.
- Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce. Comparing object encodings. Accepted
for publication in Information and Computation. Final
manuscript received for publication May 6, 1999.
References,
etc.
Shortcuts: