Constrained Generation of Well-Typed Programs Hugo Barreiro and Gabriel Scherer. Abstract submitted to the TyDe 2025 workshop.