Infinitary Refinement Types for Temporal Properties in Scott Domains.

Colin Riba, Alexandre Kejikian

Browse the full WoLLIC paper archive.