2643 search results - page 37 / 529 » Higher order messaging |
FLOPS
2010
Springer
14 years 5 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 5 months ago
2009
Springer
ESOP
2009
Springer
14 years 5 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...
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
VMCAI
2009
Springer
14 years 5 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...