"Artifact: Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs ..."

Stefanos Chaliasos et al. (2021)

Details and statistics

DOI: 10.5281/ZENODO.5411667

access: open

type: Data or Artifact

metadata version: 2024-07-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics