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]
Abstract is missing.