Learning Structure-Aware Representations of Dependent Types
Paper i proceeding, 2024
Författare
Konstantinos Kogkalidis
Jean-Philippe Bernardy
Chalmers, Data- och informationsteknik, Computing Science
Orestis Melkonian
IO Global
Advances in Neural Information Processing Systems
10495258 (ISSN)
Advances in Neural Information Processing Systems
Vancouver, Canada,
Vancouver, Canada,
Ämneskategorier (SSIF 2025)
Data- och informationsvetenskap (Datateknik)