Pure type systems with corecursion on streams

DOI10.1145/2364527.2364550zbMath1291.68131OpenAlexW2156432575MaRDI QIDQ5168889

Fer-Jan de Vries, Paula G.Severi

Publication date: 21 July 2014

Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2364527.2364550

zbMATH Keywords

recursiontyped lambda calculusmodal operatorstreamsinfinitary normalisation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Related Items (4)

Unnamed Item ⋮ The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types ⋮ A Light Modality for Recursion ⋮ Unnamed Item

Uses Software

• Coq

This page was built for publication: Pure type systems with corecursion on streams