Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stephen Weeks
2000 – 2009
- 2008
[j3]Yaron Minsky, Stephen Weeks: Caml trading - experiences with functional programming on Wall Street. J. Funct. Program. 18(4): 553-564 (2008)- [j2]Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan: Flattening tuples in an SSA intermediate representation. Higher-Order and Symbolic Computation 21(3): 333-358 (2008)
- 2006
- [c10]
- 2001
- [c9]Carl A. Gunter, Stephen Weeks, Andrew K. Wright: Models and Languages for Digital Rights. HICSS 2001
- [c8]
- [c7]Stephen Weeks: Understanding Trust Management Systems. IEEE Symposium on Security and Privacy 2001: 94-105
- 2000
- [c6]Henry Cejtin, Suresh Jagannathan, Stephen Weeks: Flow-Directed Closure Conversion for Typed Languages. ESOP 2000: 56-71
1990 – 1999
- 1998
- [c5]Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341
- 1997
- [c4]Suresh Jagannathan, Stephen Weeks, Andrew K. Wright: Type-Directed Flow Analysis for Typed Intermediate Languages. SAS 1997: 232-249
- 1995
- [c3]Suresh Jagannathan, Stephen Weeks: A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL 1995: 393-407
- 1994
- [j1]Stephen Weeks, Suresh Jagannathan, James Philbin: A Concurrent Abstract Interpreter. Lisp and Symbolic Computation 7(2-3): 173-193 (1994)
- [c2]Suresh Jagannathan, Stephen Weeks: Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming 1994: 294-305
- 1993
- [c1]Stephen Weeks, Matthias Felleisen: On the Orthogonality of Assignments and Procedures in Algol. POPL 1993: 57-70
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:19 CET by the dblp team