Melanie Harries

According to our database, Melanie Harries authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Efficient software model checking of soundness of type systems.

Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008