2206 search results - page 5 / 442 » On the power of coercion abstraction |
104
click to vote
JAR
2008
15 years 1 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
152
click to vote
TLDI
2003
ACM
15 years 6 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...
104
click to vote
ACL
1998
15 years 2 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
79
Voted
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
