Here's the paper I wrote: https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf Lots and lots o

Here's the paper I wrote: https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf Lots and lots of documentation, some experimentation, and asking people. :)