https://deepai.org/publication/a-right-to-left-type-system-for-mutually-recursive-value-definitions
11/20/18 - In call-by-value languages, some mutually-recursive value definitions can be safely evaluated to build recursive functions or cycl...
type systemmutually recursiverightleftvalue
https://deepai.org/publication/unboxing-mutually-recursive-type-definitions-in-ocaml
11/06/18 - In modern OCaml, single-argument datatype declarations (variants with a single constructor, records with a single field) can somet...
mutually recursivetype definitionsunboxingocamldeepai