Publications

Type Inference for Rank 2 Gradual Intersection Types

AuthID
P-00S-6NW

Author(s)

Ângelo, P

Florido, M

Editor(s)

Bowman W.J.Garcia R.

Document Type

Proceedings Paper

Year published

2019

Published

in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12053, Pages: 84-120

Conference

20Th International Symposium on Trends in Functional Programming, Tfp 2019, Date: 12 June 2019 through 14 June 2019

Indexing

Scopus^®

Dblp^®/en/publications/view/826044

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-030-47147-7_5

DBLP: conf/sfp/AngeloF19

SCOPUS: 2-s2.0-85085726758

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Type Inference for Rank 2 Gradual Intersection Types

Useful Links

Get Help

Federated Authentication (Click on the image)

Type Inference for Rank 2 Gradual Intersection Types

Useful Links

Get Help