Pedro Jorge Fernandes Ângelo


AuthID: R-00J-ST1

Confirmed Publications: 1



1
TITLE: Type Inference for Rank 2 Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053
INDEXED IN: Scopus DBLP CrossRef: 1

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service