Cited By
View all- Apt KOlderog E(2019)Fifty years of Hoare’s logicFormal Aspects of Computing10.1007/s00165-019-00501-331:6(751-807)Online publication date: 27-Nov-2019
- Muehlboeck FTate R(2018)Empowering union and intersection types with integrated subtypingProceedings of the ACM on Programming Languages10.1145/32764822:OOPSLA(1-29)Online publication date: 24-Oct-2018
- Omar CAldrich J(2016)Programmable semantic fragments: the design and implementation of typyACM SIGPLAN Notices10.1145/3093335.299324552:3(81-92)Online publication date: 20-Oct-2016
- Show More Cited By