Published December 22, 2022 | Version v3
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

code.zip

Files (1.2 GB)

Name Size Download all
md5:22abfdcdf40c79407194283e9b4e4bae
197.8 kB Preview Download
md5:f5e5e946190a4c42e6d6a728ef763060
681.8 kB Preview Download
md5:d16a6e917907e48d3aa99e56018cd5a3
29.8 kB Preview Download
md5:6e6981efbc8135907aefda66b4f2b859
1.2 GB Download