Cited By
View all- Alves SFlorido M(2022)Structural Rules and Algebraic Properties of Intersection TypesTheoretical Aspects of Computing – ICTAC 202210.1007/978-3-031-17715-6_6(60-77)Online publication date: 3-Oct-2022
- Kesner D(2019)Quantitative Types: From Foundations to ApplicationsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.293.1293(1-5)Online publication date: 23-Apr-2019
- Accattoli BGuerrieri G(2018)Types of FireballsProgramming Languages and Systems10.1007/978-3-030-02768-1_3(45-66)Online publication date: 22-Oct-2018
- Show More Cited By