Sacrificing simplicity for convenience: Where do you draw the line?
- John H. Williams
- Edward L. Wimmers
- 1988
- POPL 1988
Publications
Date
Featured collections
Popular topics
19 results for Edward L. Wimmers
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
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors
- Alexander Aiken
- John H. Williams
- et al.
- 1995
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A formula for incorporating weights into scoring rules
- Ronald Fagin
- Edward L. Wimmers
- 2000
- Theoretical Computer Science
A framework for expressing and combining preferences
- Rakesh Agrawal
- Edward L. Wimmers
- 2000
- SIGMOD Record (ACM Special Interest Group on Management of Data)
Optimal representations of polymorphic types with subtyping
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1999
- Higher-Order and Symbolic Computation
Decidability of systems of set constraints with negative constraints
- Alexander Aiken
- Dexter Kozen
- et al.
- 1995
- Information and Computation