Login / Signup
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.
Jieung Kim
Sukyoung Ryu
Published in:
CPP (2011)
Keyphrases
</>
multiple inheritance
machine intelligence
management system
distributed environment