Michal Szynwelski

According to our database, Michal Szynwelski authored at least 2 papers between 2016 and 2017.

Collaborative distances:

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

2017

Learning nominal automata.

Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

SMT Solving for Functional Programming over Infinite Structures.

Bartek Klin, Michal Szynwelski

Proceedings of the Proceedings 6th Workshop on Mathematically Structured Functional Programming, 2016