The top documents tagged [protected method attribute]

Encoding Object-oriented Datatypes in HOL: Extensible Records Revisited
Technology Encoding Object-oriented Datatypes in HOL: Extensible Records Revisited

220 views