Selective and Lightweight Closure Conversion. - Mitchell Wand; Paul Steckler (POPL, 1994)

Selective Thunkification. - Paul Steckler; Mitchell Wand (SAS, 1994)

A Monadic Calculus for Parallel Costing of a Functional Language of Arrays. - C. Barry Jay; Murray Cole; M. Sekanina; Paul Steckler (Euro-Par, 1997)

Lightweight Closure Conversion. - Paul Steckler; Mitchell Wand (ACM Trans. Program. Lang. Syst., 1997)

The Functional Imperative: Shape! - C. Barry Jay; Paul Steckler (ESOP, 1998)

DrScheme: a programming environment for Scheme. - Robert Bruce Findler; John Clements; Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Paul Steckler; Matthias Felleisen (J. Funct. Program., 2002)

Component support in PLT Scheme. - Paul Steckler (Softw. Pract. Exp., 2002)

Selectors Make Set-Based Analysis Too Hard. - Philippe Meunier; Robert Bruce Findler; Paul Steckler; Mitchell Wand (High. Order Symb. Comput., 2005)