Collaborated with:
G.Richards Alexi Turcotte
Talks about:
foreign (2) knowledg (1) interfac (1) function (1) without (1) leverag (1) languag (1) gradual (1) alreadi (1) reason (1)
Person: Ellen Arteca
DBLP: Arteca:Ellen
Contributed to:
Wrote 2 papers:
- OOPSLA-2017-RichardsAT #type system #virtual machine
- The VM already knew that: leveraging compile-time knowledge to optimize gradual typing (GR, EA, AT), p. 27.
- ECOOP-2019-TurcotteAR #interface #modelling #reasoning
- Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (AT, EA, GR), p. 32.