Linear Rank Intersection Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fábio Reis, Sandra Alves, Mário Florido. Linear Rank Intersection Types. In Delia Kesner, Pierre-Marie Pédrot, editors, 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France. Volume 269 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

This author has not been identified. Look up 'Fábio Reis' in GoogleThis author has not been identified. Look up 'Sandra Alves' in GoogleThis author has not been identified. Look up 'Mário Florido' in Google

runs on WebDSL