Assigning Types to Processes

Nobuko Yoshida, Matthew Hennessy. Assigning Types to Processes. In LICS. pages 334-345, 2000. [doi]

Authors

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google

Matthew Hennessy

This author has not been identified. Look up 'Matthew Hennessy' in Google