Cited By
View all- Sin'Ya RAsada KKobayashi NTsukada T(2017)Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction SequenceProceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 1020310.1007/978-3-662-54458-7_4(53-68)Online publication date: 22-Apr-2017
- Pavlinovic ZKing TWies T(2015)Practical SMT-based type error localizationACM SIGPLAN Notices10.1145/2858949.278476550:9(412-423)Online publication date: 29-Aug-2015
- Pavlinovic ZKing TWies TFisher KReppy J(2015)Practical SMT-based type error localizationProceedings of the 20th ACM SIGPLAN International Conference on Functional Programming10.1145/2784731.2784765(412-423)Online publication date: 29-Aug-2015
- Show More Cited By