Gebreselassie Baraki

According to our database, Gebreselassie Baraki authored at least 4 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Representing Demand by Partial Projections.

John Launchbury, Gebreselassie Baraki

J. Funct. Program., 1996

1993

Abstract interpretation of polymorphic higher-order functions.

Gebreselassie Baraki

PhD thesis, 1993

1991

A Note on Abstract Interpretation of Polymorphic Functions.

Gebreselassie Baraki

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1989

Abstract Interpretation of Polymorphic Functions.

Gebreselassie Baraki, John Hughes

Proceedings of the Functional Programming, 1989