Job opening: compiling to categories
conal at conal.net
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*
<http://conal.net/papers/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).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs