2 search results - page 1 / 1 » A Higher-Order Demand-Driven Narrowing Calculus with Definit... |
76
Voted
ICTAC
2007
Springer
15 years 5 months ago
2007
Springer
100
Voted
ESOP
2008
Springer
15 years 18 days ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...