%0 Conference Paper %1 conf/ecoop/TurcotteAR19 %A Turcotte, Alexi %A Arteca, Ellen %A Richards, Gregor %B ECOOP %D 2019 %E Donaldson, Alastair F. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 16:1-16:32 %T Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2019.html#TurcotteAR19 %V 134 %@ 978-3-95977-111-5

@inproceedings{conf/ecoop/TurcotteAR19, added-at = {2019-07-10T00:00:00.000+0200}, author = {Turcotte, Alexi and Arteca, Ellen and Richards, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/24f7cd21cc4f48cd4c26131951077d820/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2019}, editor = {Donaldson, Alastair F.}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.16}, interhash = {54fcb5798624e386146731919bb09b7e}, intrahash = {4f7cd21cc4f48cd4c26131951077d820}, isbn = {978-3-95977-111-5}, keywords = {dblp}, pages = {16:1-16:32}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:47:09.000+0100}, title = {Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2019.html#TurcotteAR19}, volume = 134, year = 2019 }