Cited By
View all- Xie NEisenberg ROliveira B(2019)Kind inference for datatypesProceedings of the ACM on Programming Languages10.1145/33711214:POPL(1-28)Online publication date: 20-Dec-2019
- Samak MKim DRinard M(2019)Synthesizing replacement classesProceedings of the ACM on Programming Languages10.1145/33711204:POPL(1-33)Online publication date: 20-Dec-2019
- MÜTZE TNummenpalo J(2018)Efficient Computation of Middle Levels Gray CodesACM Transactions on Algorithms10.1145/317044314:2(1-29)Online publication date: 16-Apr-2018
- Show More Cited By