There is a newer version of the record available.

Published October 6, 2022 | Version v2
Software Open

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations (Artifact)

Creators

  • 1. Peking University
  • 2. The University of Hong Kong

Description

This is the artifact for the following paper:

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations

[ POPL'23 ]

Files

Type-Difference-Artifact.zip

Files (2.0 GB)

Name Size Download all
md5:97082a716c653dd21e95c8b7fe458ad7
2.0 GB Preview Download