Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Abel, A.: Termination checking with types. Theoretical Informatics and Applications 38(4), 277–319 (2004)
2. Barendregt, H.: Lambda calculi with types. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of logic in computer science, vol. 2, Oxford University Press, Oxford (1992)
3. Barthe, G., Frade, M.J., Giménez, E., Pinto, L., Uustalu, T.: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14(1), 97–141 (2004)
4. Lecture Notes in Computer Science;G. Barthe,2005
5. Lecture Notes in Computer Science;F. Blanqui,2003
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Practical Subtyping for Curry-Style Languages;ACM Transactions on Programming Languages and Systems;2019-03
2. Up-to techniques using sized types;Proceedings of the ACM on Programming Languages;2018-01
3. Size-based termination of higher-order rewriting;Journal of Functional Programming;2018
4. Automating sized-type inference for complexity analysis;Proceedings of the ACM on Programming Languages;2017-08-29
5. Normalization by evaluation for sized dependent types;Proceedings of the ACM on Programming Languages;2017-08-29