Bill Harrison

According to our database, Bill Harrison authored at least 3 papers between 2000 and 2025.

Collaborative distances:

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

2025

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Gary T. Leavens, Bill Harrison, Lance Joneckis, Trevor Kann

CoRR, January, 2025

2011

Symmetric Encapsulated Multi-Methods

David Lievens, Bill Harrison

CoRR, 2011

2000

A Debate on Language and Tool Support for Design Patterns.

Craig Chambers, Bill Harrison, John M. Vlissides

Proceedings of the POPL 2000, 2000