
Registered user since Fri 19 Feb 2016
Name: Andrzej Murawski
Country: United Kingdom
Affiliation: University of Oxford
Personal website: http://www.cs.ox.ac.uk/andrzej.murawski
Contributions
POPL 2018 | Linearity in Higher-Order Recursion Schemes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile