Bruno Bianchi

According to our database, Bruno Bianchi authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda.

Ernesto Copello, Alvaro Tasistro, Bruno Bianchi

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014