Towards Generic Programming with Sized Types
From MaRDI portal
Publication:3618812
DOI10.1007/11783596_4zbMath1235.68045OpenAlexW1565265694MaRDI QIDQ3618812
Publication date: 2 April 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11783596_4
Related Items (2)
Mixed Inductive/Coinductive Types and Strong Normalization ⋮ Type-based termination of generic programs
Uses Software
This page was built for publication: Towards Generic Programming with Sized Types