Open Collective
Open Collective
Loading
Payouts and Papers
Published on July 14, 2020 by Ambrose Bonnaire-Sergeant

Hi,

Thanks for your support! I've just made my first payout, via my company Untypable LLC.

Currently, I'm looking over some papers to find inspiration to improve Typed Clojure's local inference.

In particular, an upcoming paper for ICFP 2020 is particularly exciting, that explains MLsub in a more straightforward fashion. https://infoscience.epfl.ch/record/278576 (search for "PDF" for link)

I have been a huge fan of MLsub, but after reading an entire dissertation about it, it was still pretty opaque. Luckily, this paper says that my reaction was pretty normal!

Thanks,

Ambrose