External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

C-SHORe: a collapsible approach to higher-order verification

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre. C-SHORe: a collapsible approach to higher-order verification. In Greg Morrisett, Tarmo Uustalu, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. pages 13-24, ACM, 2013. [doi]

Authors

Christopher H. Broadbent

This author has not been identified. Look up 'Christopher H. Broadbent' in Google

Arnaud Carayol

This author has not been identified. Look up 'Arnaud Carayol' in Google

Matthew Hague

This author has not been identified. Look up 'Matthew Hague' in Google

Olivier Serre

This author has not been identified. Look up 'Olivier Serre' in Google
runs on