Can I read An Error-tolerant Type System for Variational Lambda Calculus on EtoBox?

An Error-tolerant Type System for Variational Lambda Calculus by Sheng Chen; Martin Erwig; Eric Walkingshaw is a Computer Science article available to read on EtoBox.

What is An Error-tolerant Type System for Variational Lambda Calculus about?

Conditional compilation and software product line technologies make it possible to generate a huge number of different programs from a single software project. Typing each of these programs individually is usually impossible due to the sheer number of possible variants. Our previous work has addressed this problem with a type system for variational lambda calculus (VLC), an extension of lambda calculus with basic constructs for introducing and organizing variation. Although our type inference algorithm is more efficient than the brute-force strategy of inferring the types of each variant individually, it is less robust since type inference will fail for the entire variational expression if any one variant contains a type error. In this work, we extend our type system to operate on VLC expressions containing type errors. This extension directly supports locating ill-typed variants and the incremental development of variational programs. It also has many subtle implications for the unification of variational types. We show that our extended type system possesses a principal typing property and that the underlying unification problem is unitary. Our unification algorithm computes part

Who reads An Error-tolerant Type System for Variational Lambda Calculus?

Author

Sheng Chen; Martin Erwig; Eric Walkingshaw

Publisher

ACM

Published

2012

Language

EN

Field

Computer Science (Physical Sciences)