The top documents tagged [hol holocl outlook]

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

220 views