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.

The impact of higher-order state and control effects on local relational reasoning

Derek Dreyer, Georg Neis, Lars Birkedal. The impact of higher-order state and control effects on local relational reasoning. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 143-156, ACM, 2010. [doi]

Authors

Derek Dreyer

This author has not been identified. Look up 'Derek Dreyer' in Google

Georg Neis

This author has not been identified. Look up 'Georg Neis' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google
runs on