Published November 26, 2026 | Version POPL-2026-AEC-final
Software Open

TypeDis: A Type System for Disentanglement (Artifact)

Authors/Creators

  • 1. ROR icon New York University
  • 2. ROR icon Carnegie Mellon University

Description

This is the artifact for the paper "TypeDis: A Type System for Disentanglement".

This constitutes a snapshot of the repository https://github.com/nobrakal/typedis

Files

Files (143.2 kB)

Name Size Download all
md5:ba0ca9b220d1572cde18cded038c7eca
143.2 kB Download

Additional details

Software

Repository URL
https://github.com/nobrakal/typedis
Programming language
Coq