1636 search results - page 90 / 328 » Type-Theoretic Functional Semantics |
137
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
127
Voted
IEEEICCI
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we focus on lexical semantics, a key issue in Natural Language Processing (NLP) that tends to converge with conceptual Knowledge Representation (KR) and ontologies....
126
Voted
JCDL
2003
ACM
15 years 9 months ago
2003
ACM
The lack of a standard formalism for expressing the semantics of an XML vocabulary is a major obstacle to the development of high-function interoperable digital libraries. XML doc...
152
Voted
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
138
click to vote
AGP
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...