Polymorphic dynamic typing — aspects of proof theory and inference (1995)

by J Rehof