research
∙
07/02/2022
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
Nested datatypes have been widely studied in the past 25 years, both the...
research
∙
10/23/2018