Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference49 articles.
1. Subtyping recursive types;Amadio;ACM Trans. Programming Languages Systems,1993
2. Abadi, M., and Cardelli, L.1994, A theory of primitive objects—Untyped and first-order systems, inTheoretical Aspects of Computer SoftwareM. Hagiya and John, C. Mitchell, Eds., Lecture Notes in Computer Science, Vol. 789, pp. 296–320, Springer-Verlag, New York, available at http://research.microsoft.com/Users/luca/Papers/PrimObj1stOrder.A4.ps.
3. Abadi, M., and Cardelli, L.1994, A theory of primitive objects—second-order systems, inProc. of European Symposium on ProgrammingD. Sannella, Ed., Lecture Notes in Computer Science, Vol. 788, pp. 1–25, Springer-Verlag, New York, available at http://research.microsoft.com/Users/luca/Papers/PrimObj2ndOrder.A4.ps.
4. Aiken, A. S, and, Fähndrich, M. 1996, Making Set-Constraint Based Program Analyses Scale, Technical Report CSD-96-917, University of California, Berkeley, September, available at, http://http.cs.berkeley.edu/~manuel/papers/scw96.ps.gz.
5. Aiken, A., Fähndrich, M., Foster, J. S., and Su, Z.1998, A toolkit for Constructing Type- and Constraint-based Program Analyses, Lecture Notes in Computer Science, Vol. 1473, pp. 76–96, Springer-Verlag, Berlin, New York, available at http://www.cs.berkeley.edu/~aiken/papers/tic98.ps.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Soundly Handling Linearity;Proceedings of the ACM on Programming Languages;2024-01-05
2. Structural Subtyping as Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2023-10-16
3. Polymorphic Types with Polynomial Sizes;Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming;2023-06-06
4. MLstruct: principal type inference in a Boolean algebra of structural types;Proceedings of the ACM on Programming Languages;2022-10-31
5. Intensional datatype refinement: with application to scalable verification of pattern-match safety;Proceedings of the ACM on Programming Languages;2021-01-04