Cited By
View all- Faxén K(2002)Representation Analysis for Coercion PlacementProceedings of the 9th International Symposium on Static Analysis10.5555/647171.716092(278-293)Online publication date: 17-Sep-2002
- Faxén K(2002)Representation Analysis for Coercion PlacementStatic Analysis10.1007/3-540-45789-5_21(278-293)Online publication date: 5-Sep-2002
- Monnier SDarais DGibbons J(2019)Inductive types deconstructed: the calculus of united constructionsProceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3331554.3342607(52-63)Online publication date: 18-Aug-2019
- Show More Cited By