4 citations · 10 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Representing Continuous Functions between Greatest Fixed Points of Indexed Containers
Pierre Hyvernat
We describe a way to represent computable functions between coinductive types as particular transducers in type theory. This generalizes earlier work on functions between streams b…
cs.LO2019
Totality for Mixed Inductive and Coinductive Types
Pierre Hyvernat
This paper introduces an ML / Haskell like programming language with nested inductive and coinductive algebraic datatypes called \chariot. Functions are defined by arbitrary recurs…