Published in: LIPIcs, Volume 203, 32nd International Conference on Concurrency Theory (CONCUR 2021)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, and J. Garrett Morris. Separating Sessions Smoothly. In 32nd International Conference on Concurrency Theory (CONCUR 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 203, pp. 36:1-36:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{fowler_et_al:LIPIcs.CONCUR.2021.36, author = {Fowler, Simon and Kokke, Wen and Dardha, Ornela and Lindley, Sam and Morris, J. Garrett}, title = {{Separating Sessions Smoothly}}, booktitle = {32nd International Conference on Concurrency Theory (CONCUR 2021)}, pages = {36:1--36:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-203-7}, ISSN = {1868-8969}, year = {2021}, volume = {203}, editor = {Haddad, Serge and Varacca, Daniele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.36}, URN = {urn:nbn:de:0030-drops-144138}, doi = {10.4230/LIPIcs.CONCUR.2021.36}, annote = {Keywords: session types, hypersequents, linear lambda calculus} }
Published in: DARTS, Volume 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski. Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 8:1-8:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{williams_et_al:DARTS.3.2.8, author = {Williams, Jack and Morris, J. Garrett and Wadler, Philip and Zalewski, Jakub}, title = {{Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)}}, pages = {8:1--8:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2017}, volume = {3}, number = {2}, editor = {Williams, Jack and Morris, J. Garrett and Wadler, Philip and Zalewski, Jakub}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.3.2.8}, URN = {urn:nbn:de:0030-drops-72899}, doi = {10.4230/DARTS.3.2.8}, annote = {Keywords: gradual typing, TypeScript, JavaScript, proxies} }
Published in: LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski. Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. In 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 74, pp. 28:1-28:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{williams_et_al:LIPIcs.ECOOP.2017.28, author = {Williams, Jack and Morris, J. Garrett and Wadler, Philip and Zalewski, Jakub}, title = {{Mixed Messages: Measuring Conformance and Non-Interference in TypeScript}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {28:1--28:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {M\"{u}ller, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.28}, URN = {urn:nbn:de:0030-drops-72640}, doi = {10.4230/LIPIcs.ECOOP.2017.28}, annote = {Keywords: Gradual Typing, TypeScript, JavaScript, Proxies} }
Feedback for Dagstuhl Publishing