Job opening: compiling to categories

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Job opening: compiling to categories

Conal Elliott

I have a job opening to work closely with me (at Target Digital) on the GHC plugin described in the paper Compiling to Categories as well as on applications, including machine learning. I’m especially looking for someone used to working inside of GHC and/or on GHC plugins. Mathematically oriented, solid background in programming language theory, denotationally inclined.

Remote work is perfectly fine (and is what I do).

– Conal

ghc-devs mailing list
[hidden email]