2006
Type for hierarchic shapes (summary)
Publication
Publication
Presented at the
European Symposium on Programming
Additional Metadata | |
---|---|
Springer | |
P. Sestoft | |
Lecture Notes in Computer Science | |
European Symposium on Programming | |
Organisation | 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. |