2646 search results - page 53 / 530 » Local Type Inference |
102
Voted
ICARIS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...
170
click to vote
SIGMOD
2008
ACM
16 years 21 days ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
113
click to vote
LICS
1993
IEEE
15 years 4 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
119
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
184
Voted
POPL
2006
ACM
16 years 26 days ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...