conf.researchr.org / Szymon Toruńczyk
Registered user since Fri 1 Jul 2016
Name:Szymon Toruńczyk
Contributions
| RDP 2017 | Author of Computation with Atoms within the RDP-track |
| POPL 2017 | Author of LOIS: syntax and semantics within the POPL-track |
Registered user since Fri 1 Jul 2016
Contributions
| RDP 2017 | Author of Computation with Atoms within the RDP-track |
| POPL 2017 | Author of LOIS: syntax and semantics within the POPL-track |