Tommaso Petrucciani

Artificial Intelligence · 2019

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

Subfields

• Artificial Intelligence — 7 citations into it; #29,327 of 35,345 by trust here, #30,347 by citations

Whom Tommaso Petrucciani trusts overall

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

1. Jeremy G. Siek

Who trusts Tommaso Petrucciani overall

1. Ming-Ho Yee

Papers from Tommaso Petrucciani's perspective

Ordered by how strongly the researchers Tommaso Petrucciani 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. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
4. Gradual typing with unification-based inference
5. Understanding TypeScript
6. Principal Type Schemes for Gradual Programs
7. The Design and Implementation of Typed Scheme: From Scripts to Programs
8. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
9. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
10. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)

Their papers

• Gradual typing: a new perspective (2019) — 52 citations