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.

An error-tolerant type system for variational lambda calculus

Sheng Chen 0008, Martin Erwig, Eric Walkingshaw. An error-tolerant type system for variational lambda calculus. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 29-40, ACM, 2012. [doi]

Authors

Sheng Chen 0008

This author has not been identified. Look up 'Sheng Chen 0008' in Google

Martin Erwig

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

Eric Walkingshaw

This author has not been identified. Look up 'Eric Walkingshaw' in Google
runs on