Travelled to:1 × Canada
1 × Denmark
1 × Greece
1 × Switzerland
1 × United Kingdom
8 × USA
Collaborated with:A.Aiken J.H.Williams J.Y.Halpern R.Agrawal L.M.Haas T.K.Lakshman D.Kossmann J.Yang G.Psaila M.Zaït D.Kozen M.Y.Vardi T.C.Winkler M.T.Roth M.Arya M.J.Carey W.F.Cody R.Fagin P.M.Schwarz J.T.II
Talks about:type (4) constraint (3) express (2) rewrit (2) queri (2) set (2) transform (1) framework (1) completen (1) strategi (1)
Person: Edward L. Wimmers
DBLP: Wimmers:Edward_L=
Contributed to:
2000
199719961995
1994
1993
1993
199219901988198719861985Wrote 13 papers:
- SIGMOD-2000-AgrawalW #framework
- A Framework for Expressing and Combining Preferences (RA, ELW), pp. 297–306.
- VLDB-1997-HaasKWY #data flow #optimisation #query
- Optimizing Queries Across Diverse Data Sources (LMH, DK, ELW, JY), pp. 276–285.
- SIGMOD-1996-RothAHCCFSTW
- The Garlic Project (MTR, MA, LMH, MJC, WFC, RF, PMS, JTI, ELW), p. 557.
- VLDB-1995-AgrawalPWZ #query
- Querying Shapes of Histories (RA, GP, ELW, MZ), pp. 502–514.
- POPL-1994-AikenWL #type system
- Soft Typing with Conditional Types (AA, ELW, TKL), pp. 163–173.
- CSL-1993-AikenKVW #complexity #constraints #set
- The Complexity of Set Constraints (AA, DK, MYV, ELW), pp. 1–17.
- FPCA-1993-AikenW #constraints #type inference
- Type Inclusion Constraints and Type Inference (AA, ELW), pp. 31–41.
- LICS-1992-AikenW #constraints #set
- Solving Systems of Set Constraints (AA, ELW), pp. 329–340.
- POPL-1990-AikenWW #fault #program transformation
- Program Transformation in the Presence of Errors (AA, JHW, ELW), pp. 210–217.
- POPL-1988-WilliamsW #question
- Sacrificing Simplicity for Convenience: Where Do You Draw the Line? (JHW, ELW), pp. 169–179.
- LICS-1987-HalpernW #abstraction
- Full Abstraction and Expressive Completenes for FP (JYH, ELW), pp. 257–271.
- LICS-1986-HalpernWW
- Good Rewrite Strategies for FP (JYH, JHW, ELW), pp. 149–162.
- POPL-1985-HalpernWWW #semantics
- Denotational Semantics and Rewrite Rules for FP (JYH, JHW, ELW, TCW), pp. 108–120.