Nathaniel Bos

According to our database, Nathaniel Bos authored at least 2 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Lassie: HOL4 tactics by example.

Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

Is Impredicativity Implicitly Implicit?

Stefan Monnier, Nathaniel Bos

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019