Springer
P. Sestoft
Lecture Notes in Computer Science
European Symposium on Programming
Computer Security

Drossopoulou, S., Clarke, D., & Noble, J. (2006). Type for hierarchic shapes (summary). In P. Sestoft (Ed.), Programming Languages and Systems (pp. 1–6). Springer.