External Links

Cite Key

Statistics

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

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.

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs

Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell. Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. In Nadia Polikarpova, editor, Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. pages 108-122, ACM, 2022. [doi]

Authors

Jesper Cockx

Identified as Jesper Cockx

Orestis Melkonian

This author has not been identified. Look up 'Orestis Melkonian' in Google

Lucas Escot

This author has not been identified. Look up 'Lucas Escot' in Google

James Chapman 0001

Identified as James Chapman
(University of Strathclyde
)

Ulf Norell

This author has not been identified. It may be one of the following persons: Look up 'Ulf Norell' in Google
runs on