Dépôts de gasche
4 dépôts publics de gasche au catalogue, du plus étoilé au moins étoilé.
- gasche/icfp2016-papersÉtoiles : 139Prototype
- gasche/icfp2017-papersÉtoiles : 136Prototype
- gasche/popl2016-papersÉtoiles : 121Prototype
- gasche/popl2017-papersÉtoiles : 100Prototype