( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Models and Languages for Digital Rights.

, , и . HICSS, IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andrew Hamilton-Wright

Wright Jacob

Glenn Wright

Gabriele Wright

Jacob Wright

 

Другие публикации лиц с тем же именем

Effective Flow Analysis for Avoiding Run-Time Checks, и . SAS, том 983 из Lecture Notes in Computer Science, стр. 207-224. Springer, (1995)On Sapphire and type-safe languages.. Commun. ACM, 46 (4): 120 (2003)Typing References by Effect Inference.. ESOP, том 582 из Lecture Notes in Computer Science, стр. 473-491. Springer, (1992)Practical soft typing.. University of Houston, TX, USA, (1994)Type-Dependent Parameter Inference., и . PLDI, стр. 127-136. ACM, (1990)A Practical Soft Type System for Scheme., и . ACM Trans. Program. Lang. Syst., 19 (1): 87-152 (1997)Low-Latency Cryptographic Protection for SCADA Communications., , и . ACNS, том 3089 из Lecture Notes in Computer Science, стр. 263-277. Springer, (2004)A Syntactic Approach to Type Soundness, и . Inf. Comput., 115 (1): 38-94 (ноября 1994)Flow-directed Inlining., и . PLDI, стр. 193-205. ACM, (1996)Compiling Functional Languages with Flow Analysis., и . ACM Comput. Surv., 28 (2): 337-339 (1996)