Call-by-name vs call-by-value in primitive recursion : storage operator

Type de document :
Communication dans un congrès
5th International Workshop on Reduction Strategies in Rewriting and Programming, 2005, Nara, Japan. 2005
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00083376
Contributeur : Pierre Valarcher <>
Soumis le : vendredi 30 juin 2006 - 11:27:53
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-00083376, version 1

Collections

Citation

Pierre Valarcher. Call-by-name vs call-by-value in primitive recursion : storage operator. 5th International Workshop on Reduction Strategies in Rewriting and Programming, 2005, Nara, Japan. 2005. 〈hal-00083376〉

Partager

Métriques

Consultations de la notice

74