2005 |
8 | EE | Philippe Meunier,
Robert Bruce Findler,
Paul Steckler,
Mitchell Wand:
Selectors Make Set-Based Analysis Too Hard.
Higher-Order and Symbolic Computation 18(3-4): 245-269 (2005) |
2002 |
7 | | Robert Bruce Findler,
John Clements,
Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Paul Steckler,
Matthias Felleisen:
DrScheme: a programming environment for Scheme.
J. Funct. Program. 12(2): 159-182 (2002) |
6 | | Paul Steckler:
Component support in PLT Scheme.
Softw., Pract. Exper. 32(10): 933-954 (2002) |
1998 |
5 | EE | C. Barry Jay,
Paul Steckler:
The Functional Imperative: Shape!
ESOP 1998: 139-153 |
1997 |
4 | | C. Barry Jay,
Murray Cole,
M. Sekanina,
Paul Steckler:
A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.
Euro-Par 1997: 650-661 |
3 | EE | Paul Steckler,
Mitchell Wand:
Lightweight Closure Conversion.
ACM Trans. Program. Lang. Syst. 19(1): 48-86 (1997) |
1994 |
2 | | Mitchell Wand,
Paul Steckler:
Selective and Lightweight Closure Conversion.
POPL 1994: 435-445 |
1 | | Paul Steckler,
Mitchell Wand:
Selective Thunkification.
SAS 1994: 162-178 |