According to our database1, Stephen Weeks authored at least 13 papers between 1993 and 2008.
Legend:Book In proceedings Article PhD thesis Other
Flattening tuples in an SSA intermediate representation.
High. Order Symb. Comput., 2008
Caml trading - experiences with functional programming on Wall Street.
J. Funct. Program., 2008
Whole-program compilation in MLton.
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006
Understanding Trust Management Systems.
Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001
Contification Using Dominators.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001
Models and Languages for Digital Rights.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
Flow-Directed Closure Conversion for Typed Languages.
Proceedings of the Programming Languages and Systems, 2000
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
Proceedings of the POPL '98, 1998
Type-Directed Flow Analysis for Typed Intermediate Languages.
Proceedings of the Static Analysis, 4th International Symposium, 1997
A Unified Treatment of Flow Analysis in Higher-Order Languages.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995
A Concurrent Abstract Interpreter.
LISP Symb. Comput., 1994
Analyzing Stores and References in a Parallel Symbolic Language.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994
On the Orthogonality of Assignments and Procedures in Algol.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993