While reading the paper, I noticed reference to two as-yet unpublished companion papers:
[8] Giuseppe Castagna. Typing records, maps, and structs. Unpublished manuscript
(conditionally accepted to ICFP 2023, the 28th ACM SIGPLAN International
Conference on Functional Programming), April 2023.[9] Giuseppe Castagna and Guillaume Duboc. A gradual type system for core Elixir.
Unpublished manuscript, April 2023.
Any word on when drafts of these may be available?
