|
Search the dblp DataBase
Andrew K. Wright:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andrew K. Wright, John A. Kinast, Joe McCarty
Low-Latency Cryptographic Protection for SCADA Communications. [Citation Graph (0, 0)][DBLP] ACNS, 2004, pp:263-277 [Conf]
- Andrew K. Wright
Typing References by Effect Inference. [Citation Graph (0, 0)][DBLP] ESOP, 1992, pp:473-491 [Conf]
- Carl A. Gunter, Stephen Weeks, Andrew K. Wright
Models and Languages for Digital Rights. [Citation Graph (0, 0)][DBLP] HICSS, 2001, pp:- [Conf]
- Andrew K. Wright, Robert Cartwright
A Practical Soft Type System for Scheme. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1994, pp:250-262 [Conf]
- Gordon V. Cormack, Andrew K. Wright
Type-Dependent Parameter Inference. [Citation Graph (0, 0)][DBLP] PLDI, 1990, pp:127-136 [Conf]
- Suresh Jagannathan, Andrew K. Wright
Flow-directed Inlining. [Citation Graph (0, 0)][DBLP] PLDI, 1996, pp:193-205 [Conf]
- Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:329-341 [Conf]
- Suresh Jagannathan, Andrew K. Wright
Effective Flow Analysis for Avoiding Run-Time Checks [Citation Graph (0, 0)][DBLP] SAS, 1995, pp:207-224 [Conf]
- Suresh Jagannathan, Stephen Weeks, Andrew K. Wright
Type-Directed Flow Analysis for Typed Intermediate Languages. [Citation Graph (0, 0)][DBLP] SAS, 1997, pp:232-249 [Conf]
- Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. [Citation Graph (0, 0)][DBLP] Types in Compilation, 1998, pp:9-27 [Conf]
- Andrew K. Wright
On Sapphire and type-safe languages. [Citation Graph (0, 0)][DBLP] Commun. ACM, 2003, v:46, n:4, pp:120- [Journal]
- Suresh Jagannathan, Andrew K. Wright
Compiling Functional Languages with Flow Analysis. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1996, v:28, n:2, pp:337-339 [Journal]
- Andrew K. Wright, Matthias Felleisen
A Syntactic Approach to Type Soundness [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:115, n:1, pp:38-94 [Journal]
- Andrew K. Wright
Simple Imperative Polymorphism. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1995, v:8, n:4, pp:343-355 [Journal]
- Andrew K. Wright, Robert Cartwright
A Practical Soft Type System for Scheme. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1997, v:19, n:1, pp:87-152 [Journal]
- Andrew K. Wright, Suresh Jagannathan
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:166-207 [Journal]
Search in 0.002secs, Finished in 0.002secs
|