Lykourgos Mastorou

According to our database, Lykourgos Mastorou authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell.

Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022