There is a newer version of the record available.

Published October 6, 2022 | Version v1
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:cdbda341ec791d3f7b0f26727c600a78
2.0 GB Preview Download