@unpublished{gustedt:hal-03165732, TITLE = {{Improve type generic programming (slides)}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03165732}, NOTE = {working paper or preprint}, YEAR = {2022}, MONTH = Feb, PDF = {https://inria.hal.science/hal-03165732v2/file/intro-talk.pdf}, HAL_ID = {hal-03165732}, HAL_VERSION = {v2}, }