Experience with RAPID prototypes
- D. Dolev
- Ray Strong
- et al.
- 1994
- IWRSP 1994
Conference paper
Publications
19 results for Edward L. Wimmers
Soft typing with conditional types
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1994
- POPL 1994
Conference paperType inclusion constraints and type inference
- Alexander Aiken
- Edward L. Wimmers
- 1993
- FPCA 1993
Conference paperProgram transformation in the presence of errors
- Alexander Aiken
- John H. Williams
- et al.
- 1990
- POPL 1990
Conference paperCompleteness of Rewrite Rules and Rewrite Strategies for FP
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1990
- Journal of the ACM
PaperSacrificing simplicity for convenience: Where do you draw the line?
- John H. Williams
- Edward L. Wimmers
- 1988
- POPL 1988
Conference paperFULL ABSTRACTION AND EXPRESSIVE COMPLETENESS FOR FP.
- Joseph Y. Halpern
- Edward L. Wimmers
- 1986
- LICS 1986
Conference paperGOOD REWRITE STRATEGIES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1986
- LICS 1986
Conference paperDENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1984
- POPL 1984
Conference paper