Andrey Vyatkin

According to our database, Andrey Vyatkin authored at least 2 papers between 2017 and 2020.

Collaborative distances:

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

2020

Certified Semantics for Relational Programming.

Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2017

Typed Relational Conversion.

Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017