3323 search results - page 48 / 665 » Computational Semantics with Functional Programming |
ICLP
2009
Springer
15 years 4 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
LICS
1989
IEEE
15 years 1 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this demo description, we present Konduit, a desktopbased platform for visual programming with RDF data. Based on the idea of the semantic desktop, non-technical users...
TACS
1994
Springer
15 years 1 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
78
Voted
SIGMOD
2011
ACM
14 years 14 days ago
2011
ACM
Ranking queries report the top-K results according to a user-defined scoring function. A widely used scoring function is the weighted summation of multiple scores. Often times, u...