Higher-Order Hierarchies (2003)

by E Ernst
Venue:Proceedings ECOOP 2003, LNCS 2743