7529 search results - page 258 / 1506 » The Modula-3 Type System |
171
click to vote
RTA
2007
Springer
16 years 21 days ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
172
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
136
click to vote
DOOD
1989
Springer
15 years 10 months ago
1989
Springer
This paper attempts to de ne an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented databas...
181
click to vote
MMM
1996
Springer
15 years 10 months ago
1996
Springer
Multimedia information systems are based on the evolving capability of computers to handle diverse types of information. Their most important characteristic is the integration of ...
182
click to vote
ECIR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Question answering systems aim to meet users' information needs by returning exact answers in response to a question. Traditional open domain question answering syst...