Mads Torgersen
Artificial Intelligence · 2014
A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 8 citations into it; #19,133 of 35,345 by trust here, #23,077 by citations
Whom Mads Torgersen trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Mads Torgersen overall
Papers from Mads Torgersen's perspective
Ordered by how strongly the researchers Mads Torgersen trusts endorse each paper. Same corpus, a different order for every researcher.
- Towards Type Inference for JavaScript
- The Design and Implementation of Typed Scheme: From Scripts to Programs
- Towards a program logic for JavaScript
- Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
- Gradual Typing for Objects (European Conference on Object-Oriented Programming)
- Dependent types for JavaScript
- Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
- Static type inference for Ruby
- Gradual Typing for Functional Languages
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Their papers
- Understanding TypeScript (2014) — 229 citations