Publikacje

Konferencja: ACM-SIGACT Symposium on Principles of Programming Languages

2024

• Mikołaj Bojańczyk , Bartek Klin, Polyregular Functions on Unordered Trees of Bounded Height, Proceedings of the ACM on Programming Languages, 51st ACM SIGPLAN Symposium on Principles of Programming Languages, London, the United Kingdom of Great Britain and Northern Ireland, 14 stycznia 2024 - 20 stycznia 2024, 8 (POPL) 2024, s. 1326-1351. Zobacz w PBN

2017

• Eryk Kopczyński , Szymon Toruńczyk , LOIS: Syntax and Semantics, ACM SIGACT Symposium on Principles of Programming Languages, Paryż, France, 15 stycznia 2017 - 21 stycznia 2017. Zobacz w PBN

2012

• Laurent Braud, Sławomir Lasota , Bartek Klin, Mikołaj Bojańczyk , Towards nominal computation, ACM SIGPLAN NOTICES, 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, the United States of America, 22 stycznia 2012 - 28 stycznia 2012. Zobacz w PBN