Cited By
View all- Serrano AHage JPeyton Jones SVytiniotis D(2020)A quick look at impredicativityProceedings of the ACM on Programming Languages10.1145/34089714:ICFP(1-29)Online publication date: 3-Aug-2020
- Serrano AHage JVytiniotis DPeyton Jones S(2018)Guarded impredicative polymorphismACM SIGPLAN Notices10.1145/3296979.319238953:4(783-796)Online publication date: 11-Jun-2018
- Serrano AHage JVytiniotis DPeyton Jones SFoster JGrossman D(2018)Guarded impredicative polymorphismProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192389(783-796)Online publication date: 11-Jun-2018
- Show More Cited By