Registered user since Fri 9 Sep 2022
Name:Jeffrey Young
Bio:
Most of my time is spent on the Verse programming language. Previously I worked on GHC, specifically on performance and the JS backend. When I find the time I work on klister with David Christiansen and Samual Gelisam.
Country:United States
Affiliation:Epic Games
X (Twitter): https://x.com/do_you_gnu
GitHub: https://github.com/doyougnu
Research interests:Relational Programming, Haskell, Cross Compilers, SAT solvers, LISP and Scheme
Contributions
Using general profile