Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
polymorph (1) interpret (1) function (1) abstract (1) note (1)
Person: Gebreselassie Baraki
DBLP: Baraki:Gebreselassie
Contributed to:
Wrote 1 papers:
- FPCA-1991-Baraki #abstract interpretation #polymorphism
- A Note on Abstract Interpretation of Polymorphic Functions (GB), pp. 367–378.