Artifact for OOPSLA'26: Localizing Type Errors for Syntactic Sugar by Lifting

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Zhichao Guan, Tailai Yu, Di Wang, Zhenjiang Hu
DOI: 10.5281/zenodo.18806155
Cited by: 1

Abstract

Artifact for OOPSLA'26: Localizing Type Errors for Syntactic Sugar by Lifting This project will be maintained at https://github.com/vbcpascal/Stellar-oopsla26.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 February 2026