External Links

Cite Key

Statistics

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

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.

    Lem: reusable engineering of real-world semantics

    Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell. Lem: reusable engineering of real-world semantics. 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 175-188, ACM, 2014. [doi]

    Authors

    Dominic P. Mulligan

    This author has not been identified. Look up 'Dominic P. Mulligan' in Google

    Scott Owens

    This author has not been identified. Look up 'Scott Owens' in Google

    Kathryn E. Gray

    This author has not been identified. Look up 'Kathryn E. Gray' in Google

    Tom Ridge

    This author has not been identified. Look up 'Tom Ridge' in Google

    Peter Sewell

    This author has not been identified. Look up 'Peter Sewell' in Google
    runs on