Concepedia

Eric L. Seidel

EL

Statistics

Publications

6

Citations

402

H-Index

6

Active since

2014

Affiliations

University of California San Diego(Current)

Microsoft Research (United Kingdom)

University of Virginia

Eric L. Seidel is an author at University of California San Diego specializing in formal methods, software analysis, and program analysis.

ORCID

Top concepts

Publications per year

2014–2017

6

Publications

6

Refinement types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala et al. · 2014 · 239 citations

, , +12

LiquidHaskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala · 2014 · 57 citations

, , +14

Refinement types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala et al. · ACM SIGPLAN Notices · 2014 · 37 citations

, , +12

Guilt free ivory

Trevor Elliott, Lee Pike, Simon Winwood et al. · 2015 · 24 citations

Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)

Eric L. Seidel, Ranjit Jhala, Westley Weimer · 2016 · 24 citations

, , +21

Rows per page

1–5 of 6