Gergo Érdi

According to our database, Gergo Érdi authored at least 3 papers between 2016 and 2025.

Collaborative distances:

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

2025

A Clash Course in Solving Sudoku (Functional Pearl).

Gergo Érdi

Proceedings of the 18th ACM SIGPLAN International Haskell Symposium, 2025

2018

Generic Description of Well-Scoped, Well-Typed Syntaxes.

Gergo Érdi

CoRR, 2018

2016

Pattern synonyms.

Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg

Proceedings of the 9th International Symposium on Haskell, 2016