Dynamic typing: Syntax and proof theory. Science of Computer Programming (1993)

by Fritz Henglein
Venue:Special Issue on European Symposium on Programming