A Complete Finitary Refinement Type System for Scott-Open Properties.

Colin Riba, Adam Donadille

Browse the full FSCD paper archive.