Cited By
View all- DREYER D(2018)Recursive type generativityJournal of Functional Programming10.1017/S095679680700642917:4-5(433-471)Online publication date: 24-Dec-2018
- Weirich SVytiniotis DPeyton Jones SZdancewic SBall TSagiv M(2011)Generative type abstraction and type-level computationProceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1926385.1926411(227-240)Online publication date: 26-Jan-2011
- Weirich SVytiniotis DPeyton Jones SZdancewic S(2011)Generative type abstraction and type-level computationACM SIGPLAN Notices10.1145/1925844.192641146:1(227-240)Online publication date: 26-Jan-2011
- Show More Cited By