Indexed codata types
From MaRDI portal
Publication:2985784
DOI10.1145/2951913.2951929zbMath1360.68342OpenAlexW2518300910MaRDI QIDQ2985784
Brigitte Pientka, David Thibodeau, Andrew Cave
Publication date: 10 May 2017
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2951913.2951929
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (6)
Unnamed Item ⋮ Elaborating dependent (co)pattern matching: No pattern left behind ⋮ Friends with Benefits ⋮ LINCX: A Linear Logical Framework with First-Class Contexts ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions ⋮ A case study in programming coinductive proofs: Howe’s method
This page was built for publication: Indexed codata types
