Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
A Syntactic Approach to Type Soundness
Home
Publications
A Syntactic Approach to Type Soundness
A Syntactic Approach to Type Soundness
AW
A.K. Wright
A.K. Wright
MF
M. Felleisen
M. Felleisen
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 November 1994
journal article
Published by
Elsevier
in
Information and Computation
Vol. 115
(1)
,
38-94
https://doi.org/10.1006/inco.1994.1093
Abstract
No abstract available
Cited by 662 articles