Concepedia

Eric L. Seidel

EL

Statistics

Publications

7

Citations

438

H-Index

7

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 type checking, computer science, and computing.

ORCID

Publications per year

2014–2019

7

Publications

7

Refinement types for Haskell

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

, , +11

LiquidHaskell

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

, , +12

Refinement types for Haskell

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

, , +11

Guilt free ivory

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

, , +13

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

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

, , +12

1–5 of 7