Eddie Jones

According to our database1, Eddie Jones authored at least 4 papers between 2016 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Intensional datatype refinement: with application to scalable verification of pattern-match safety.
Proc. ACM Program. Lang., 2021

2020
Intensional Datatype Refinement.
CoRR, 2020

2016
Dynamic Probabilistic Network Based Human Action Recognition.
CoRR, 2016

Code Definition Analysis for Call Graph Generation.
CoRR, 2016


  Loading...