Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes
Steven J. Ramsay
Book Title
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming‚ Kent‚ Canterbury‚ United Kingdom‚ September 8−10‚ 2014
Pages
175–186
Year
2014