There is also a 2017 paper: https://cs.utah.edu/~blg/resources/type-tailoring.pdf which I do not understand (terse notation without clarification) and a blog post by one of the authors sketching out the paper: https://lambdaland.org/posts/2024-07-15_type_tailoring/
There is also a 2017 paper: https://cs.utah.edu/~blg/resources/type-tailoring.pdf which I do not understand (terse notation without clarification) and a blog post by one of the authors sketching out the paper: https://lambdaland.org/posts/2024-07-15_type_tailoring/