Prototype Typechecker for the Article 'On Type-Cases, Union Elimination, and Occurrence Typing'

Artifact Digital Object Group ◽

10.1145/3462306 ◽

2022 ◽

Author(s):

Giuseppe Castagna ◽

Mickaël Laurent ◽

Kim Nguyễn ◽

Matthew Lutze

Download Full-text