Harpoon: Mechanizing Metatheory Interactively

von Errington, Jacob
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Automated deduction - CADE 29 : 29th international conference on automated deduction, Rome, Italy, July 1-4, 2023 : proceedings

Veröffentlicht 2023

Novice Type Error Diagnosis with Natural Language Models

von Geng, Chuqgin
Veröffentlicht in APLAS (20. : 2022 : Auckland) Programming languages and systems (2022)