Expansion Algebra: a Foundational Theory with Applications to Type Systems and Type-Based Program Analysis (2008)

by S Carlier