10 followers
@paf31 @christopherdone For example the following is an algorithm that allows any interprocedural analysis for first-order imperative programs to be used to verify safety properties of typed higher-order functional programs https://t.co/MEOsHSWp6G So it's