@techreport{gustedt:hal-03106919, TITLE = {{Type-generic lambdas}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03106919}, TYPE = {Research Report}, NUMBER = {N2924}, PAGES = {14}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2022}, MONTH = Jan, KEYWORDS = {type-generic lambda}, PDF = {https://inria.hal.science/hal-03106919v3/file/n2924.pdf}, HAL_ID = {hal-03106919}, HAL_VERSION = {v3}, }