Type-Based Productivity of Stream Definitions in the Calculus of Constructions
From MaRDI portal
Publication:5271060
DOI10.1109/LICS.2013.29zbMath1366.68254MaRDI QIDQ5271060
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Related Items (9)
Is sized typing for Coq practical? ⋮ Well-founded recursion with copatterns and sized types ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ Unnamed Item ⋮ A Light Modality for Recursion ⋮ Denotational semantics for guarded dependent type theory ⋮ Compositional Coinduction with Sized Types ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
This page was built for publication: Type-Based Productivity of Stream Definitions in the Calculus of Constructions
