John Peter Campora III

Orcid: 0000-0002-5301-9552

According to our database1, John Peter Campora III authored at least 7 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Type-Based Gradual Typing Performance Optimization.
Proc. ACM Program. Lang., January, 2024

2020
Taming type annotations in gradual typing.
Proc. ACM Program. Lang., 2020

2019
Generating precise error specifications for C: a zero shot learning approach.
Proc. ACM Program. Lang., 2019

Blame Tracking and Type Error Debugging.
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018
Casts and costs: harmonizing safety and performance in gradual typing.
Proc. ACM Program. Lang., 2018

Migrating gradual types.
Proc. ACM Program. Lang., 2018

2017
Learning user friendly type-error messages.
Proc. ACM Program. Lang., 2017


  Loading...