Collaborated with:
Andre Kuhlenschmidt J.G.Siek
Talks about:
type (2) structur (1) coercion (1) gradual (1) toward (1) effici (1)
Person: Deyaaeldeen Almahallawi
DBLP: Almahallawi:Deyaaeldeen
Contributed to:
Wrote 1 papers:
- PLDI-2019-KuhlenschmidtAS #performance #towards #type system
- Toward efficient gradual typing for structural types via coercions (AK, DA, JGS), pp. 517–532.