2646 search results - page 43 / 530 » Local Type Inference |
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
109
Voted
DBPL
2007
Springer
15 years 6 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
86
Voted
ALT
2001
Springer
15 years 9 months ago
2001
Springer
The present work is dedicated to the study of modes of data-presentation in the range between text and informant within the framework of inductive inference. In this study, the le...
70
Voted
IJAC
2006
15 years 15 days ago
2006
We prove the following two results announced by Rhodes: The Type II subsemigroup of a finite semigroup can fall arbitrarily in complexity; the complexity pseudovarieties Cn (n 1) ...
115
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...