Home » Authors » Thiago Felicissimo

Thiago Felicissimo

Public reference bibliography and cataloged PDF materials authored or published by Thiago Felicissimo.

Found 1 document(s) Page 1 of 1

Artifact report: Generic bidirectional typing for dependent type theories

Year: 2024 • Source: hal.science • Listed PDF

We report on the implementation of a generic bidirectional algorithm for dependent type theories, following the proposal of the paper "Generic bidirectional typing for dependent type theories"....