1 paper · 1 filter
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…