Jakub Zalewski

Artificial Intelligence · 2017

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

Subfields

Whom Jakub Zalewski trusts

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

  1. Jeremy G. Siek (in Artificial Intelligence)
  2. Walid Taha (in Artificial Intelligence)

Who trusts Jakub Zalewski

  1. Erik Krogh Kristensen (in Information Systems)
  2. Anders Møller (in Information Systems)

Papers from Jakub Zalewski's perspective

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

  1. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  2. Gradual Typing for Functional Languages
  3. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
  4. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
  5. TeJaS: retrofitting type systems for JavaScript
  6. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
  7. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. The ins and outs of gradual type inference
  9. The Design and Implementation of Typed Scheme: From Scripts to Programs
  10. Understanding TypeScript

Their papers