TY  - RPRT
TI  - Linking Types for Multi-Language Software: Have Your Cake and Eat It Too
AU  - Daniel Patterson
AU  - Amal Ahmed
PY  - 2017
DO  - 10.4230/lipics.snapl.2017.12
UR  - https://arxiv.org/abs/1711.04559
ID  - 1711.04559
ER  -