An error-tolerant type system for variational lambda calculus.

Sheng Chen, Martin Erwig, Eric Walkingshaw

Browse the full ICFP paper archive.