Basic theory of F-bounded quantification

Authors:
Paolo Baldan;Giorgio Ghelli;Alessandra Raffaetà
Affiliations:
Corso Italia, Pisa, Italy;Corso Italia, Pisa, Italy;-
Venue:
Information and Computation
Year:
1999

Citing 0
Cited 2

A simple typed intermediate language for object-oriented languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the power of coercion abstraction

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract