James Shaker

According to our database, James Shaker authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Kalas: A Verified, End-To-End Compiler for a Choreographic Language.

Johannes Åman Pohjola, Alejandro Gómez-Londoño, James Shaker, Michael Norrish

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022