@techreport{gustedt:hal-03106758, TITLE = {{Improve type generic programming}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03106758}, TYPE = {Technical Report}, NUMBER = {N2890}, PAGES = {82}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2022}, MONTH = Jan, KEYWORDS = {type-generic programming ; type inference ; anonymous function ; lambda}, PDF = {https://inria.hal.science/hal-03106758v3/file/n2890.pdf}, HAL_ID = {hal-03106758}, HAL_VERSION = {v3}, }