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.

Proving Type Class Laws for Haskell

Andreas Arvidsson, Moa Johansson, Robin Touche. Proving Type Class Laws for Haskell. In David Van Horn, John Hughes, editors, Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Volume 10447 of Lecture Notes in Computer Science, pages 61-74, Springer, 2016. [doi]

Authors

Andreas Arvidsson

This author has not been identified. Look up 'Andreas Arvidsson' in Google

Moa Johansson

This author has not been identified. Look up 'Moa Johansson' in Google

Robin Touche

This author has not been identified. Look up 'Robin Touche' in Google
runs on