Cited By
View all- Cathcart Burn TOng CRamsay S(2017)Higher-order constrained horn clauses for verificationProceedings of the ACM on Programming Languages10.1145/31580992:POPL(1-28)Online publication date: 27-Dec-2017
- Kobayashi NIgarashi A(2013)Model-Checking higher-order programs with recursive typesProceedings of the 22nd European conference on Programming Languages and Systems10.1007/978-3-642-37036-6_24(431-450)Online publication date: 16-Mar-2013
- Midtgaard J(2012)Control-flow analysis of functional programsACM Computing Surveys10.1145/2187671.218767244:3(1-33)Online publication date: 14-Jun-2012
- Show More Cited By