2596 search results - page 230 / 520 » Gradual Typing for Objects |
192
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
172
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
157
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...
181
click to vote
TYPES
1998
Springer
15 years 10 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
210
click to vote
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a rule-based system for automatic extraction of definitions from Portuguese texts. As input, this system takes text that is previously annotated with morph...