Benjamin C. Pierce. Types and programming languages. The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp.
-
Published:2004-06
Issue:02
Volume:10
Page:213-214
-
ISSN:1079-8986
-
Container-title:Bulletin of Symbolic Logic
-
language:en
-
Short-container-title:Bull. symb. log.
Publisher
Cambridge University Press (CUP)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Well-Typedness Preservation of Refactorings using Scope Graphs;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18