1313 search results - page 118 / 263 » Generic Universe Types |
157
click to vote
DEXAW
1999
IEEE
15 years 9 months ago
1999
IEEE
The Mediation of Information using XML (MIX) project is a joint effort between the the San Diego Supercomputer Center (SDSC) and the Database Lab at the University of California S...
147
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
145
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
139
click to vote
TREC
2004
15 years 6 months ago
2004
In this paper, we describe ideas and related experiments of Tsinghua University IR group in TREC 2004 QA track. In this track, our system consists three components: Question analy...
141
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...