Cited By
View all- Compagnoni APierce B(2018)Higher-order intersection types and multiple inheritanceMathematical Structures in Computer Science10.1017/S09601295000700436:5(469-501)Online publication date: 19-Apr-2018
- Abel ACoquand TPagano M(2011)A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof IrrelevanceLogical Methods in Computer Science10.2168/LMCS-7(2:4)20117:2Online publication date: 7-May-2011
- Hofmann MPierce B(2008)A unifying type-theoretic framework for objectsJournal of Functional Programming10.1017/S09567968000014905:04(593-635)Online publication date: 7-Nov-2008
- Show More Cited By