The Abstract interpretation of Higher-Order Functional Languages: From Properties to Absract Domains (Technical Summary).

Geoffrey L. Burn The Abstract interpretation of Higher-Order Functional Languages: From Properties to Absract Domains (Technical Summary). 56-72 1991 conf/fp/1991 Functional Programming db/conf/fp/fp1991.html#Burn91