3 search results - page 1 / 1 » Logical Foundations of RDF(S) with Datatypes |
JAIR
2010
13 years 3 months ago
2010
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
TLDI
2003
ACM
13 years 10 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...