Erik Krogh Kristensen
Artificial Intelligence · 2017
A researcher in the Science corpus: 2 papers; trusts 35 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 19 citations into it; #31,753 of 35,345 by trust here, #32,362 by citations
- Information Systems — 16 citations into it; #5,293 of 8,771 by trust here, #7,386 by citations
- Software Engineering — 14 citations into it
- Software — 13 citations into it; #732 of 1,227 by trust here, #1,006 by citations
- Program Analysis & Verification — 10 citations into it; #247 of 301 by trust here, #262 by citations
- Hardware and Architecture — 8 citations into it
- Computational Theory and Mathematics — 6 citations into it
Whom Erik Krogh Kristensen trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Anders Møller
- Asger Feldthaus
- Koushik Sen
- Gavin M. Bierman
- Michael M. Vitousek
- Aseem Rastogi
- Martín Abadi
- Panagiotis Vekris
- Jeremy G. Siek
- Benjamin S. Lerner
Who trusts Erik Krogh Kristensen overall
Papers from Erik Krogh Kristensen's perspective
Ordered by how strongly the researchers Erik Krogh Kristensen trusts endorse each paper. Same corpus, a different order for every researcher.
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- TeJaS: retrofitting type systems for JavaScript
- Type Analysis for JavaScript
- Gradual Typing for Functional Languages
- The ins and outs of gradual type inference
- Design and evaluation of gradual typing for python
- Towards Type Inference for JavaScript
- The Design and Implementation of Typed Scheme: From Scripts to Programs
- A Symbolic Execution Framework for JavaScript (IEEE Symposium on Security and Privacy)
- Understanding TypeScript
Their papers
- Type test scripts for TypeScript testing (2017) — 22 citations
- Inference and Evolution of TypeScript Declaration Files (2017) — 16 citations