Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Richard Roberts, Stefan Marr, Michael Homer, and James Noble. Transient Typechecks Are (Almost) Free. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 5:1-5:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{roberts_et_al:LIPIcs.ECOOP.2019.5, author = {Roberts, Richard and Marr, Stefan and Homer, Michael and Noble, James}, title = {{Transient Typechecks Are (Almost) Free}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {5:1--5:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.5}, URN = {urn:nbn:de:0030-drops-107974}, doi = {10.4230/LIPIcs.ECOOP.2019.5}, annote = {Keywords: dynamic type checking, gradual types, optional types, Grace, Moth, object-oriented programming} }
Published in: LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Timothy Jones, Michael Homer, James Noble, and Kim Bruce. Object Inheritance Without Classes. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 56, pp. 13:1-13:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{jones_et_al:LIPIcs.ECOOP.2016.13, author = {Jones, Timothy and Homer, Michael and Noble, James and Bruce, Kim}, title = {{Object Inheritance Without Classes}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {13:1--13:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.13}, URN = {urn:nbn:de:0030-drops-61077}, doi = {10.4230/LIPIcs.ECOOP.2016.13}, annote = {Keywords: Inheritance, Objects, Classes, Operational semantics} }
Published in: DARTS, Volume 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Timothy Jones and Michael Homer. Object Inheritance Without Classes (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 6:1-6:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{jones_et_al:DARTS.2.1.6, author = {Jones, Timothy and Homer, Michael}, title = {{Object Inheritance Without Classes (Artifact)}}, pages = {6:1--6:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2016}, volume = {2}, number = {1}, editor = {Jones, Timothy and Homer, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.6}, URN = {urn:nbn:de:0030-drops-61278}, doi = {10.4230/DARTS.2.1.6}, annote = {Keywords: Inheritance, Objects, Classes, Operational semantics, PLT Redex} }
Published in: DARTS, Volume 1, Issue 1, Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Timothy Jones, Michael Homer, and James Noble. Brand Objects for Nominal Typing (Artifact). In Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015). Dagstuhl Artifacts Series (DARTS), Volume 1, Issue 1, pp. 4:1-4:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{jones_et_al:DARTS.1.1.4, author = {Jones, Timothy and Homer, Michael and Noble, James}, title = {{Brand Objects for Nominal Typing (Artifact)}}, pages = {4:1--4:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2015}, volume = {1}, number = {1}, editor = {Jones, Timothy and Homer, Michael and Noble, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.4}, URN = {urn:nbn:de:0030-drops-55134}, doi = {10.4230/DARTS.1.1.4}, annote = {Keywords: brands, types, structural, nominal, Grace} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Timothy Jones, Michael Homer, and James Noble. Brand Objects for Nominal Typing. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 198-221, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{jones_et_al:LIPIcs.ECOOP.2015.198, author = {Jones, Timothy and Homer, Michael and Noble, James}, title = {{Brand Objects for Nominal Typing}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {198--221}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.198}, URN = {urn:nbn:de:0030-drops-52314}, doi = {10.4230/LIPIcs.ECOOP.2015.198}, annote = {Keywords: brands, types, structural, nominal, Grace} }
Feedback for Dagstuhl Publishing