Abstract Interpretation of Polymorphic Functions. - Gebreselassie Baraki; John Hughes 001 (Functional Programming, 1989)

A Note on Abstract Interpretation of Polymorphic Functions. - Gebreselassie Baraki (FPCA, 1991)

Abstract interpretation of polymorphic higher-order functions. - Gebreselassie Baraki (1993)

Representing Demand by Partial Projections. - John Launchbury; Gebreselassie Baraki (J. Funct. Program., 1996)