It looks like you're new here. If you want to get involved, click one of these buttons!
I've been doing math-oriented functional programming since the early 80s, working first in Lisp, Scheme, and ML, and then mainly in Haskell since 1995. I currently work as a distinguished scientist in data sciences at Target. My main current work is in compiling to categories from Haskell, including generation of massively parallel implementations as hardware circuits, differentiable functions (e.g., for machine learning), incremental evaluation, and GPU code generation for interactive graphics. More info on my home page.
I'm here to fill in gaps in my CT background and get fresh inspirations.