@techreport{uecker:hal-03404607, TITLE = {{Wide Function Pointer Types for Pairing Code and Data}}, AUTHOR = {Uecker, Martin and Gustedt, Jens}, URL = {https://inria.hal.science/hal-03404607}, TYPE = {Research Report}, NUMBER = {2787}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2021}, MONTH = Oct, HAL_ID = {hal-03404607}, HAL_VERSION = {v1}, }