3 search results - page 1 / 1 » Logical Foundations of RDF(S) with Datatypes |
JAIR
2010
14 years 7 months ago
2010
LICS
2012
IEEE
12 years 11 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...
107
click to vote
TLDI
2003
ACM
15 years 2 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...