2024
DOI: 10.1145/3649846
|View full text |Cite
|
Sign up to set email alerts
|

Deriving Dependently-Typed OOP from First Principles

David Binder,
Ingo Skupin,
Tim Süberkrüb
et al.

Abstract: The expression problem describes how most types can easily be extended with new ways to produce the type or new ways to consume the type, but not both. When abstract syntax trees are defined as an algebraic data type, for example, they can easily be extended with new consumers, such as print or eval , but adding a new constructor requires the modification of all existing pattern matches. The … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 47 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?