Cited By
View all- de'Liguoro UTreglia R(2023)From semantics to types: The case of the imperative λ-calculusTheoretical Computer Science10.1016/j.tcs.2023.114082973(114082)Online publication date: Sep-2023
- Xue XOliveira BXie N(2022)Applicative Intersection TypesProgramming Languages and Systems10.1007/978-3-031-21037-2_8(155-174)Online publication date: 25-Nov-2022
- Huang XOliveira B(2021)Distributing intersection and union types with splits and duality (functional pearl)Proceedings of the ACM on Programming Languages10.1145/34735945:ICFP(1-24)Online publication date: 22-Aug-2021
- Show More Cited By