Dexter Kozen

CoCaml: Functional Programming with Regular Coinductive Types

2017 · Fundamenta Informaticae

Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs, …