CoCaml: Functional Programming with Regular Coinductive Types
Functional programming with structured graphs