Registered user since Fri 9 Sep 2022
Name:Jeffrey Young
Country:United States
Affiliation:IOHK
Personal website: https://doyougnu.xyz/index.html
X (Twitter): https://x.com/doyougnu
GitHub: https://github.com/doyougnu
Research interests:Relational Programming, Haskell, Cross Compilers, SAT solvers, LISP and Scheme
Contributions
ICFP 2022-profile
View general profile
View general profile