Experience with RAPID prototypes
- D. Dolev
- Ray Strong
- et al.
- 1994
- IWRSP 1994
Publications
Date
Featured collections
Popular topics
19 results for Edward L. Wimmers
Soft typing with conditional types
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1994
- POPL 1994
Type inclusion constraints and type inference
- Alexander Aiken
- Edward L. Wimmers
- 1993
- FPCA 1993
Program transformation in the presence of errors
- Alexander Aiken
- John H. Williams
- et al.
- 1990
- POPL 1990
Completeness of Rewrite Rules and Rewrite Strategies for FP
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1990
- Journal of the ACM
Sacrificing simplicity for convenience: Where do you draw the line?
- John H. Williams
- Edward L. Wimmers
- 1988
- POPL 1988
FULL ABSTRACTION AND EXPRESSIVE COMPLETENESS FOR FP.
- Joseph Y. Halpern
- Edward L. Wimmers
- 1986
- LICS 1986
GOOD REWRITE STRATEGIES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1986
- LICS 1986
DENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1984
- POPL 1984