An error-tolerant type system for variational lambda calculus
From MaRDI portal
Publication:5168880
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
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