Free Theorems and Runtime Type Representations
Work
Year: 2007
Type: article
Abstract: Reynolds's abstraction theorem [John C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513–523. North-Holland, 1983. Proceedings of the IFIP 9th World C... more
Institution University of Pennsylvania
Cites: 36
Cited by: 6
Related to: 10
FWCI: 2.116
Citation percentile (by year/subfield): 73.79
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: gold