Author:
Abel Andreas,Rodriguez Dulma
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abel, A.: Implementing a normalizer using sized heterogeneous types. In: McBride, C., Uustalu, T. (eds.) Wksh. on Mathematically Structured Functional Programming, MSFP 2006 (2006)
2. Lecture Notes in Computer Science;A. Abel,2006
3. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
4. Amadio, R., Curien, P.-L.: Domains and Lambda Calculi. Cambridge University Press, Cambridge (1997)
5. Adams, R.: A Modular Hierarchy of Logical Frameworks. Ph.D. thesis, University of Manchester (2005)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mutually Iso-Recursive Subtyping;Proceedings of the ACM on Programming Languages;2023-10-16
2. A theory of higher-order subtyping with type intervals;Proceedings of the ACM on Programming Languages;2021-08-22
3. Unifying typing and subtyping;Proceedings of the ACM on Programming Languages;2017-10-12
4. Hereditary Substitution for the λΔ-Calculus;Electronic Proceedings in Theoretical Computer Science;2013-09-04