Article Dans Une Revue
Proceedings of the ACM on Programming Languages
Année : 2017
Thibaut Balabonski : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01766206
Soumis le : vendredi 13 avril 2018-13:27:47
Dernière modification le : mardi 13 février 2024-03:25:12
Citer
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner. Foundations of strong call by need. Proceedings of the ACM on Programming Languages, 2017, 1 (ICFP), pp.1 - 29. ⟨10.1145/3110264⟩. ⟨hal-01766206⟩
Collections
73
Consultations
0
Téléchargements