Eric L. Seidel

Artificial Intelligence · 2014

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 5 citations into it
• Computational Theory and Mathematics — 5 citations into it

Whom Eric L. Seidel trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Cormac Flanagan
2. Patrick Maxim Rondon

Papers from Eric L. Seidel's perspective

Ordered by how strongly the researchers Eric L. Seidel trusts endorse each paper. Same corpus, a different order for every researcher.

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Simplify: a theorem prover for program checking (JACM)
3. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
4. Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Z3: An Efficient SMT Solver
6. Simple unification-based type inference for GADTs (ACM SIGPLAN International Conference on Functional Programming)
7. On computable numbers
8. On Computable Numbers, with an Application to the Entscheidungsproblem.
9. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Refinement types for Haskell (2014) — 300 citations