@unpublished{gustedt:hal-03259337, TITLE = {{Type-generic lambdas}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03259337}, NOTE = {slides shown at ISO PL1/SC22/WG14 meeting Feb 2022}, YEAR = {2022}, MONTH = Feb, PDF = {https://inria.hal.science/hal-03259337v2/file/tg-lambda-talk.pdf}, HAL_ID = {hal-03259337}, HAL_VERSION = {v2}, }