@unpublished{gustedt:hal-03165731, TITLE = {{Type inference for variables and functions (slides)}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03165731}, NOTE = {working paper or preprint}, YEAR = {2022}, MONTH = Feb, PDF = {https://inria.hal.science/hal-03165731v2/file/auto-talk.pdf}, HAL_ID = {hal-03165731}, HAL_VERSION = {v2}, }