Paul Steckler

According to our database, Paul Steckler authored at least 8 papers between 1994 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Selectors Make Set-Based Analysis Too Hard.

Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand

High. Order Symb. Comput., 2005

2002

Component support in PLT Scheme.

Paul Steckler

Softw. Pract. Exp., 2002

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

1998

The Functional Imperative: Shape!

C. Barry Jay, Paul Steckler

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

Lightweight Closure Conversion.

Paul Steckler, Mitchell Wand

ACM Trans. Program. Lang. Syst., 1997

A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.

C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1994

Selective Thunkification.

Paul Steckler, Mitchell Wand

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Selective and Lightweight Closure Conversion.

Mitchell Wand, Paul Steckler

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994