![Jeffrey Young](https://icfp22.sigplan.org/getProfileImage/jeffreyyoung/095df493-af11-4dfa-9e6c-8c4d2eaa88a7/small.jpg?1712872704000)
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