8141 search results - page 42 / 1629 » Higher Order Generalization |
EUROGRAPHICS
2010
Eurographics
14 years 5 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
FLOPS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
BIRTHDAY
2009
Springer
14 years 4 months ago
2009
Springer
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...