Inference Systems for Binding Time Analysis

Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson. Inference Systems for Binding Time Analysis. In WSA. pages 247-254, 1992.

Authors

Kirsten Lackner Solberg

This author has not been identified. Look up 'Kirsten Lackner Solberg' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google