26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. | 0 | 0.34 | 2021 |
A Filter Model for the State Monad. | 0 | 0.34 | 2021 |
Intersection types for a λ-calculus with global store. | 0 | 0.34 | 2021 |
From Semantics to Types: the Case of the Imperative lambda-Calculus. | 0 | 0.34 | 2021 |