BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × France
4 × USA
Collaborated with:
S.Jagannathan S.Weeks R.Cartwright G.V.Cormack P.Thiemann
Talks about:
type (5) analysi (3) flow (3) languag (2) effect (2) direct (2) infer (2) intermedi (1) practic (1) paramet (1)

Person: Andrew K. Wright

DBLP DBLP: Wright:Andrew_K=

Contributed to:

POPL 19981998
SAS 19971997
PLDI 19961996
SAS 19951995
LFP 19941994
ESOP 19921992
PLDI 19901990

Wrote 7 papers:

POPL-1998-JagannathanTWW #alias #analysis #higher-order
Single and Loving It: Must-Alias Analysis for Higher-Order Languages (SJ, PT, SW, AKW), pp. 329–341.
SAS-1997-JagannathanWW #analysis
Type-Directed Flow Analysis for Typed Intermediate Languages (SJ, SW, AKW), pp. 232–249.
Flow-directed Inlining (SJ, AKW), pp. 193–205.
SAS-1995-JagannathanW #analysis #effectiveness #runtime
Effective Flow Analysis for Avoiding Run-Time Checks (SJ, AKW), pp. 207–224.
LFP-1994-WrightC #type system
A Practical Soft Type System for Scheme (AKW, RC), pp. 250–262.
ESOP-1992-Wright #type system
Typing References by Effect Inference (AKW), pp. 473–491.
PLDI-1990-CormackW #parametricity
Type-Dependent Parameter Inference (GVC, AKW), pp. 127–136.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.