Identifiant pérenne de la notice : 253122414
Notice de type
Personne
Martin Avanzini, Ugo Dal Lago. Automating sized-type inference for complexity analysis.
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.1 - 29. (10.1145/3110287).
(hal-01639200)
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial