Paul Steckler

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
Selectors Make Set-Based Analysis Too Hard.
High. Order Symb. Comput., 2005

2002
Component support in PLT Scheme.
Softw. Pract. Exp., 2002

DrScheme: a programming environment for Scheme.
J. Funct. Program., 2002

1998
The Functional Imperative: Shape!
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.
ACM Trans. Program. Lang. Syst., 1997

A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1994
Selective Thunkification.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Selective and Lightweight Closure Conversion.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994


  Loading...