BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Type Inference for Rank 2 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
2020

Event
Lecture Notes in Computer Science,Trends in Functional Programming

Publication Identifiers
ISSN - 0302-9743

Publisher
Springer International Publishing

Number of pages
37
Starting page
84
Last page
120

Document Identifiers
DOI - https://doi.org/10.1007/978-3-030-47147-7_5
URL - http://dx.doi.org/10.1007/978-3-030-47147-7_5


Export

APA
Pedro Ângelo, Mário Florido, (2020). Type Inference for Rank 2 Gradual Intersection Types. Lecture Notes in Computer Science,Trends in Functional Programming, 84-120

IEEE
Pedro Ângelo, Mário Florido, "Type Inference for Rank 2 Gradual Intersection Types" in Lecture Notes in Computer Science,Trends in Functional Programming, , 2020, pp. 84-120, doi: 10.1007/978-3-030-47147-7_5

BIBTEX
@InProceedings{61844, author = {Pedro Ângelo and Mário Florido}, title = {Type Inference for Rank 2 Gradual Intersection Types}, booktitle = {Lecture Notes in Computer Science,Trends in Functional Programming}, year = 2020, pages = {84-120}, address = {}, publisher = {Springer International Publishing} }