Type-theory in color
From MaRDI portal
Publication:5244789
DOI10.1145/2500365.2500577zbMath1323.68198OpenAlexW2013149027MaRDI QIDQ5244789
Moulin Guilhem, Jean-Philippe Bernardy
Publication date: 30 March 2015
Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2500365.2500577
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Formalizing semantic bidirectionalization and extensions with dependent types ⋮ A dependent dependency calculus ⋮ Programming with ornaments ⋮ A presheaf model of parametric type theory ⋮ Unnamed Item ⋮ Cubical Type Theory: a constructive interpretation of the univalence axiom ⋮ Towards a Cubical Type Theory without an Interval
This page was built for publication: Type-theory in color
