Types for Safe Locking

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_7 ◽

1999 ◽

pp. 91-108 ◽

Cited By ~ 38

Author(s):

Cormac Flanagan ◽

Martín Abadi

Download Full-text