Author:
Ângelo Pedro,Florido Mário
Publisher
Springer International Publishing
Reference47 articles.
1. Accattoli, B., Graham-Lengrand, S., Kesner, D.: Tight typings and split bounds. In: Proceeding ACM Programming Language, vol. 2(ICFP), pp. 94:1–94:30 (2018)
2. Alves, S., Kesner, D., Ventura, D.: A quantitative understanding of pattern matching. In: 25th International Conference on Types for Proofs and Programs, TYPES 2019, 11–14 June 2019, Oslo, Norway. LIPIcs, vol. 175, pp. 3:1–3:36. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
3. Ângelo, P., Florido, M.: Type inference for rank 2 gradual intersection types. In: Bowman, W.J., Garcia, R. (eds.) Trends in Functional Programming, pp. 84–120. Springer International Publishing, Cham (2020). https://doi.org/10.1007/978-3-030-47147-7_5
4. Ângelo, P., Florido, M.: Type inference for rank-2 intersection types using set unification. Technical report, Faculdade de Ciências & LIACC, Universidade do Porto (2022). https://raw.githubusercontent.com/pedroangelo/papers/master/angelo2022type_complete.pdf
5. Barendregt, H.P., Dekkers, W., Statman, R.: Lambda Calculus with Types. Perspectives in logic, Cambridge University Press (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献