Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Browse the full FOSSACS paper archive.