Collaborated with:
Deyaaeldeen Almahallawi J.G.Siek
Talks about:
type (2) structur (1) coercion (1) gradual (1) toward (1) effici (1)
Person: Andre Kuhlenschmidt
DBLP: Kuhlenschmidt:Andre
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.