You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Programming Languages and Systems: Artifact report: Generic bidirectional typing for dependent type theories
Contributor:
Felicissimo, Thiago
Published:
Springer Nature Switzerland, 2024
Published in:
Programming Languages and Systems (2024), Seite 171-175
Language:
English
DOI:
10.1007/978-3-031-57262-3_7
ISBN:
9783031572616;
9783031572623
ISSN:
0302-9743;
1611-3349
Origination:
Footnote:
Description:
AbstractWe 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".