2206 search results - page 1 / 442 » On the power of coercion abstraction |
POPL
2012
ACM
12 years 14 days ago
2012
ACM
ICFP
2009
ACM
14 years 5 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 ...
ENTCS
2008
13 years 5 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
PADS
2006
ACM
13 years 11 months ago
2006
ACM
ICCS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...