162 search results - page 28 / 33 » Encoding Types in ML-Like Languages |
122
click to vote
SIGLEX
1991
15 years 5 months ago
1991
The paper focuses on the description of the approach, taken within the ESPRIT BRA project ACQUILEX, towards: i) acquisition of semantic information from several machine- readable ...
111
click to vote
AMR
2007
Springer
15 years 8 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
120
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
113
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...