Learning Structure-Aware Representations of Dependent Types

Kokos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaPosterScientificvertaisarvioitu

Sormenjälki

Sukella tutkimusaiheisiin 'Learning Structure-Aware Representations of Dependent Types'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science