Temporal Refinements for Guarded Recursive Types.

Guilhem Jaber, Colin Riba

Browse the full ESOP paper archive.