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

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