Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.

Jieung Kim, Sukyoung Ryu

Browse the full CPP paper archive.