( en | de | ru )

 

Disambiguation of "Wright, Andrew K."

Author of the publication

copydeleteadd this publication to your clipboard
Models and Languages for Digital Rights.

, , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Andrew Hamilton-Wright

Gabriele Wright

Wright Jacob

Glenn Wright

Michael Wright

 

Other publications of authors with the same name

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