31686 search results - page 310 / 6338 » Resource typing in Guru |
84
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
ICFP
2000
ACM
15 years 4 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
104
Voted
JFP
2008
15 years 23 days ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
EDBT
2008
ACM
16 years 27 days ago
2008
ACM
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...
110
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....