Proof-producing synthesis of ML from higher-order logic.

Magnus O. Myreen, Scott Owens

Browse the full ICFP paper archive.