You are not logged in |
Back to the list of the institutes
Publications
Conference: ACM-SIGACT Symposium on Principles of Programming Languages
Number of publications: 32024
- 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 January 2024 - 20 January 2024, 8 (POPL) 2024, p. 1326-1351. See in PBN
2017
- Eryk Kopczyński , Szymon Toruńczyk , LOIS: Syntax and Semantics, ACM SIGACT Symposium on Principles of Programming Languages, Paryż, France, 15 January 2017 - 21 January 2017. See in 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 January 2012 - 28 January 2012. See in PBN
