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.

Refinement types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones. Refinement types for Haskell. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 269-282, ACM, 2014. [doi]

Authors

Niki Vazou

This author has not been identified. Look up 'Niki Vazou' in Google

Eric L. Seidel

This author has not been identified. Look up 'Eric L. Seidel' in Google

Ranjit Jhala

This author has not been identified. Look up 'Ranjit Jhala' in Google

Dimitrios Vytiniotis

This author has not been identified. It may be one of the following persons: Look up 'Dimitrios Vytiniotis' in Google

Simon L. Peyton Jones

Identified as Simon L. Peyton Jones
runs on