DARTS.9.2.22.pdf
- Filesize: 0.53 MB
- 2 pages
Document
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)
Authors
Andong Fan 
,
Lionel Parreaux
-
Part of:
Issue:
Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Volume: DARTS, Volume 9 (ECOOP 2023)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-07-11
Artifact Description
Document Identifiers
Author Details
Acknowledgements
We thank the anonymous reviewers for their helpful comments as well as Cunyuan Gao for his help with the implementation.
Cite AsGet 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
https://doi.org/10.4230/DARTS.9.2.22
Artifact
DARTS-9-2-22-artifact-41a2dcbd8e090b15582145f2c9a42fad.zip
(Filesize: 0.63 GB)
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
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.
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)
0PDF Downloads
References
- 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.
-
Dirk Merkel. Docker: lightweight linux containers for consistent development and deployment. Linux journal, 2014(239):2, 2014.
- 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.