A Theory of Primitive Objects: Untyped and First-Order Systems
Martı&, #x0301, n Abadi, Luca CardelliVolume:
125
Year:
1996
Language:
english
Pages:
25
DOI:
10.1006/inco.1996.0024
File:
PDF, 1.07 MB
english, 1996