Working Note on a Type Checking Algorithm for Behavioral Separation Types

Citation:
Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.

Report Date:

01/2013