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.

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Joshua Cohen, Stephanie Weirich. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. Journal of Functional Programming, 31, 2021. [doi]

Authors

Joachim Breitner

This author has not been identified. Look up 'Joachim Breitner' in Google

Antal Spector-Zabusky

This author has not been identified. Look up 'Antal Spector-Zabusky' in Google

Yao Li 0004

This author has not been identified. Look up 'Yao Li 0004' in Google

Christine Rizkallah

This author has not been identified. Look up 'Christine Rizkallah' in Google

John Wiegley

This author has not been identified. Look up 'John Wiegley' in Google

Joshua Cohen

This author has not been identified. Look up 'Joshua Cohen' in Google

Stephanie Weirich

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