18429 search results - page 114 / 3686 » Typing dynamic typing |
121
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
132
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
164
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
144
click to vote
DOOD
1993
Springer
15 years 8 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
134
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...