Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces.

Julien Richard-Foy, Olivier Barais, Jean-Marc Jzquel

Browse the full ICWE paper archive.