Document Open Access Logo

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)

Authors Andong Fan , Lionel Parreaux

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.9.2.22.pdf
  • Filesize: 0.53 MB
  • 2 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Object oriented languages
Keywords
  • Object-Oriented Programming
  • the Expression Problem
  • Open Recursion

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This artifact consists of an SBT project with a Scala implementation of the MLscript programming language extended with "super-charged" object-oriented programming features (SuperOOP), introduced in the corresponding paper. We provide a test suite that includes SuperOOP examples and a web demo that gives live typing and running results of the user input source.

Cite As Get BibTex

Andong Fan and Lionel Parreaux. super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). In Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 2, pp. 22:1-22:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023) https://doi.org/10.4230/DARTS.9.2.22

Author Details

Andong Fan
  • The Hong Kong University of Science and Technology (HKUST), Hong Kong, China
Lionel Parreaux
  • The Hong Kong University of Science and Technology (HKUST), Hong Kong, China

Acknowledgements

We thank the anonymous reviewers for their helpful comments as well as Cunyuan Gao for his help with the implementation.

Artifact

  MD5 Sum: 41a2dcbd8e090b15582145f2c9a42fad (Get MD5 Sum)

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2023 Call for Artifacts and the ACM Artifact Review and Badging Policy

Related Article

  • Andong Fan and Lionel Parreaux, "super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion", in 37th European Conference on Object-Oriented Programming (ECOOP 2023), LIPIcs, Vol. 263, pp. 11:1-11:28, 2023. https://doi.org/10.4230/LIPIcs.ECOOP.2023.11

References

  1. Jacques Garrigue. Code reuse through polymorphic variants. In In Workshop on Foundations of Software Engineering, 2000. URL: https://www.math.nagoya-u.ac.jp/~garrigue/papers/variant-reuse.pdf.
  2. Dirk Merkel. Docker: lightweight linux containers for consistent development and deployment. Linux journal, 2014(239):2, 2014. Google Scholar
  3. Yaozhu Sun, Utkarsh Dhandhania, and Bruno C. d. S. Oliveira. Compositional embeddings of domain-specific languages. Proc. ACM Program. Lang., 6(OOPSLA2), October 2022. URL: https://doi.org/10.1145/3563294.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact