I like gradually typed languages but there seems to be no information here. Just a twitter screenshot. I can find a paper from early 2022 https://www.sciencedir

I like gradually typed languages but there seems to be no information here. Just a twitter screenshot. I can find a paper from early 2022 https://www.sciencedirect.com/science/article/pii/S2590118421000551 https://www.sciencedirect.com/science/article/pii/S259011842... - is there more information about this type system available?