BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
A Typed Lambda Calculus with Gradual Intersection Types

Participants in the publication
Pedro Ângelo (Author)
Dep. Informática
 Mário Florido (Author)
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DO PORTO
Date of Publication
2022-09-20

Event
Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming

Publication Identifiers

Address
Tbilisi Georgia

Publisher
ACM

Document Identifiers
DOI - https://doi.org/10.1145/3551357.3551382
URL - http://dx.doi.org/10.1145/3551357.3551382

Rankings
CORE C (2021) -


Export

APA
Pedro Ângelo, Mário Florido, (2022). A Typed Lambda Calculus with Gradual Intersection Types. Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, -

IEEE
Pedro Ângelo, Mário Florido, "A Typed Lambda Calculus with Gradual Intersection Types" in Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi Georgia, 2022, pp. -, doi: 10.1145/3551357.3551382

BIBTEX
@InProceedings{61843, author = {Pedro Ângelo and Mário Florido}, title = {A Typed Lambda Calculus with Gradual Intersection Types}, booktitle = {Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming}, year = 2022, pages = {-}, address = {Tbilisi Georgia}, publisher = {ACM} }