TL;DR
Green is a statically-typed object-oriented language that uniquely separates subtyping from inheritance, supporting advanced features like garbage collection, reflection, and run-time metaobjects.
Contribution
It introduces a novel separation of subtyping from inheritance and incorporates features like shells and parameterized classes for enhanced flexibility.
Findings
Supports garbage collection and reflection.
Enables run-time metaobjects called shells.
Separates subtyping from inheritance for better type management.
Abstract
Green is a statically-typed object-oriented language that separates subtyping from inheritance. It supports garbage collection, classes as first-class objects, parameterized classes, introspective reflection and a kind of run-time metaobjects called shells.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Model-Driven Software Engineering Techniques · Advanced Software Engineering Methodologies