An error-tolerant type system for variational lambda calculus

DOI10.1145/2364527.2364535zbMath1291.68111OpenAlexW2106009651MaRDI QIDQ5168880

Sheng Chen, Martin Erwig, Eric Walkingshaw

Publication date: 21 July 2014

Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2364527.2364535

zbMATH Keywords

variational typeserror-tolerant type systemsvariational lambda calculusvariational type inference

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

Migrating gradual types ⋮ Improving type error reporting for type classes ⋮ Systematic identification and communication of type errors ⋮ Verifying annotated program families using symbolic game semantics ⋮ Finding suitable variability abstractions for lifted analysis ⋮ Variability encoding: from compile-time to load-time variability

This page was built for publication: An error-tolerant type system for variational lambda calculus