Alexi Turcotte, Ellen Arteca, Gregor Richards. Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact). DARTS, 5(2), 2019. [doi]
@article{TurcotteAR19-0, title = {Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)}, author = {Alexi Turcotte and Ellen Arteca and Gregor Richards}, year = {2019}, doi = {10.4230/DARTS.5.2.9}, url = {https://doi.org/10.4230/DARTS.5.2.9}, researchr = {https://researchr.org/publication/TurcotteAR19-0}, cites = {0}, citedby = {0}, journal = {DARTS}, volume = {5}, number = {2}, }