1313 search results - page 51 / 263 » Generic Universe Types |
SIGDIAL
2010
13 years 6 months ago
2010
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...
CPP
2011
12 years 8 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
DELFI
2007
13 years 10 months ago
2007
: This paper presents the results of a study on notetaking in university courses and derives implications for the design of electronic notetaking and annotation systems in eLearnin...
TREC
2004
13 years 10 months ago
2004
: The University of Melbourne carried out experiments in the Terabyte and Web tracks of TREC 2004. We applied a further variant of our impact-based retrieval approach by integratin...
POPL
1997
ACM
14 years 1 days ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...