John Peter Campora III

Artificial Intelligence · 2017–2023

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

Subfields

• Artificial Intelligence — 53 citations into it; #30,408 of 35,345 by trust here, #31,361 by citations
• Program Analysis & Verification — 12 citations into it; #237 of 301 by trust here, #274 by citations
• Computational Theory and Mathematics — 9 citations into it
• Information Systems — 8 citations into it; #7,245 of 8,771 by trust here, #8,258 by citations
• Software Engineering — 8 citations into it; #93 of 113 by trust here, #98 by citations
• Hardware and Architecture — 6 citations into it

Whom John Peter Campora III trusts overall

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

1. Jeremy G. Siek
2. Ronald Garcia
3. Milod Kazerounian
4. Aseem Rastogi
5. Jiayi Wei
6. Walid Taha
7. Avik Chaudhuri
8. Manish Vachharajani
9. Matteo Cimini
10. Brianna M. Ren

Who trusts John Peter Campora III overall

1. Ming-Ho Yee
2. Arjun Guha

Papers from John Peter Campora III's perspective

Ordered by how strongly the researchers John Peter Campora III trusts endorse each paper. Same corpus, a different order for every researcher.

1. Gradual Typing for Functional Languages
2. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
3. Gradual typing with unification-based inference
4. The ins and outs of gradual type inference
5. Principal Type Schemes for Gradual Programs
6. The Design and Implementation of Typed Scheme: From Scripts to Programs
7. Sound, heuristic type annotation inference for Ruby
8. Feature-Oriented Software Product Lines (Springer Berlin Heidelberg)
9. Typing Local Control and State Using Flow Analysis
10. LambdaNet: Probabilistic Type Inference using Graph Neural Networks

Their papers

• A Race-Track Trapped-Ion Quantum Processor (2023) — 379 citations
• Migrating gradual types (2017) — 22 citations