596 search results - page 39 / 120 » Subtyping Recursive Types |
210
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
109
click to vote
PLANX
2008
15 years 2 months ago
2008
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
123
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
108
click to vote
BCB
2010
2010
Fast graph approaches to measure influenza transmission across geographically distributed host types
14 years 8 months ago
Recent advances in next generation sequencing are providing a number of large whole-genome sequence datasets stemming from globally distributed disease occurrences. This offers an...
104
click to vote
HOA
1993
15 years 5 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...