Job opening: compiling to categories

Conal Elliott conal at
Sat Aug 5 21:22:20 UTC 2017

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

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

– Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list