@techreport{gilding:hal-03799968, TITLE = {{Underspecified object declarations}}, AUTHOR = {Gilding, Alex and Gustedt, Jens}, URL = {https://inria.hal.science/hal-03799968}, TYPE = {Research Report}, NUMBER = {N3006}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2022}, MONTH = Jun, HAL_ID = {hal-03799968}, HAL_VERSION = {v1}, }