618 search results - page 34 / 124 » Meaning and Partiality Revised |
274
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
188
click to vote
SEMWEB
2009
Springer
16 years 4 days ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
181
click to vote
IICS
2004
Springer
15 years 11 months ago
2004
Springer
Facing the retrieval problem according to the overwhelming set of documents online the adaptation of text categorization to web units has recently been pushed. The aim is to utiliz...
146
Voted
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
146
click to vote
LREC
2008
15 years 7 months ago
2008
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...