5 papers:
ICFP-2015-Blanchette0T #perspective #proving #recursion- Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.
IFL-2013-HackettHJ #approach #optimisation #recursion #source code- The Under-Performing Unfold: A new approach to optimising corecursive programs (JH, GH, MJ), p. 1.
SAC-PL-J-2012-Ancona13 #prolog #recursion- Regular corecursion in Prolog (DA), pp. 142–162.
- ICFP-2012-SeveriV #finite #normalisation #recursion #type system
- Pure type systems with corecursion on streams: from finite to infinitary normalisation (PS, FJdV), pp. 141–152.
- SAC-2012-Ancona #prolog #recursion
- Regular corecursion in Prolog (DA), pp. 1897–1902.
