Model-checking higher-order functions (2009)

by N Kobayashi
Venue:In Proceedings of PPDP 2009