1 paper · 1 filter
Colin Riba, Adam Donadille
We are interested in proving input-output properties of functions that handle infinite data such as streams or non-wellfounded trees. We provide a finitary refinement type system w…