Paul Steckler (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 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)

3 Paul Steckler, Mitchell Wand: Lightweight Closure Conversion. ACM Trans. Program. Lang. Syst. 19(1): 48-86 (1997)

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

Selection of 4 from 8 records - Paul Steckler has 11 coauthors

8		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)
3		Paul Steckler, Mitchell Wand: Lightweight Closure Conversion. ACM Trans. Program. Lang. Syst. 19(1): 48-86 (1997)
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