> Details

Felicissimo, Thiago

Programming Languages and Systems: Artifact report: Generic bidirectional typing for dependent type theories

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



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".