1 paper
Colin Riba, Alexandre Kejikian
We discuss an infinitary refinement type system for input-output temporal specifications of functions that handle infinite objects like streams or infinite trees. Our system is bas…