SPLASH 2022 (series) / Farhan Kamil-okedara
Registered user since Mon 28 Nov 2022
Name:Farhan Kamil-okedara
Bio:
Hello, I’m a maths and computer science undergrad. who likes programming language theory and logic.
Country:United Kingdom
Affiliation:University of Warwick
X (Twitter): https://x.com/_okedata
GitHub: https://github.com/AyoDev
Research interests:Programming language semantics and pragmatics, Logic, Category theory
Contributions
SPLASH 2022-profile
View general profile
View general profile