![František Farka](https://popl21.sigplan.org/getProfileImage/frantisekfarka1/57203f39-ecb1-4b42-b5d5-ed07a11dfa07/small.jpg?1712458414000)
Registered user since Tue 5 Jan 2021
Name:František Farka
Affiliation:IMDEA Software Institute, Spain
X (Twitter): https://x.com/frantafarka
Contributions
POPL 2021-profile
View general profile
View general profile
Registered user since Tue 5 Jan 2021
Contributions