Publications

Conference: ACM-SIGACT Symposium on Principles of Programming Languages

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