A type system equivalent to flow analysis
Jens Palsberg, Patrick O'Keefe · 1995
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accepts exactly the same programs as safety analysis.