AAAAAA

   
Results: 1-3 |
Results: 3
ON THE QUESTION OF FRIEDMAN,H
Authors: PLOTKIN G
Citation: G. Plotkin, ON THE QUESTION OF FRIEDMAN,H, Information and computation, 126(1), 1996, pp. 74-77
A SEMANTICS FOR STATIC TYPE INFERENCE
Authors: PLOTKIN G
Citation: G. Plotkin, A SEMANTICS FOR STATIC TYPE INFERENCE, Information and computation, 109(1-2), 1994, pp. 256-299
A CALCULUS FOR ACCESS-CONTROL IN DISTRIBUTED SYSTEMS
Authors: ABADI M BURROWS M LAMPSON B PLOTKIN G
Citation: M. Abadi et al., A CALCULUS FOR ACCESS-CONTROL IN DISTRIBUTED SYSTEMS, ACM transactions on programming languages and systems, 15(4), 1993, pp. 706-734
Risultati: 1-3 |