2596 search results - page 53 / 520 » Gradual Typing for Objects |
97
Voted
ECOOP
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
ENTCS
2007
14 years 11 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
ECCV
2004
Springer
15 years 4 months ago
2004
Springer
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
FOSSACS
2008
Springer
15 years 20 days ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
166
click to vote
ICDE
2007
IEEE
16 years 15 days ago
2007
IEEE
Different people or objects may share identical names in the real world, which causes confusion in many applications. It is a nontrivial task to distinguish those objects, especia...