C-SHORe: A Collapsible Approach to Higher-Order Verification (2013)
Attributed to:
Verification of Concurrent and Higher-Order Recursive Programs
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://pure.rhul.ac.uk/portal/en/publications/cshore-a-collapsible-approach-to-verifying-higherorder-programs(9b5caff7-efb6-44a3-98ae-4ba29cbb6cc9).html
Type: Conference/Paper/Proceeding/Abstract
Volume: n/a
Parent Publication: International Conference on Functional Programming (ICFP)