External Links

Cite Key

Statistics

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

PDF

Bibliographies

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.

Unifiers as equivalences: proof-relevant unification of dependently typed data

Jesper Cockx, Dominique Devriese, Frank Piessens. Unifiers as equivalences: proof-relevant unification of dependently typed data. In Jacques Garrigue, Gabriele Keller, Eijiro Sumii, editors, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. pages 270-283, ACM, 2016. [doi]

Authors

Jesper Cockx

Identified as Jesper Cockx

Dominique Devriese

This author has not been identified. Look up 'Dominique Devriese' in Google

Frank Piessens

This author has not been identified. Look up 'Frank Piessens' in Google
runs on