@article{journals/pacmpl/LaurentN26,
	author={{M}ickaël {L}aurent and {K}im {N}guyễn},
	title={{I}mplementing {S}et-{T}heoretic {T}ypes.},
	pages={to appear},
	year={2026},
	month={{O}ctober},
	volume={10},
	journal={{P}roc. {A}{C}{M} {P}rogram. {L}ang.},
	number={{O}{O}{P}{S}{L}{A}2},
	ee={https://doi.org/10.1145/3839466},
	url={https://hal.science/hal-05369012},
	x-slide={files/sstt-oopsla26.pdf}
}