Binding time analysis for polymorphically typed higher order languages (1989)

by T Mogensen
Venue:TAPSOFT ’89. Proc. Int. Conf. Theory and Practice of Software Development