Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.

Alexis Saurin 1, 2 Pierre-Marie Pédrot 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01110337
Contributor : Alexis Saurin <>
Submitted on : Tuesday, January 27, 2015 - 10:33:58 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM

Identifiers

  • HAL Id : hal-01110337, version 1

Collections

Citation

Alexis Saurin, Pierre-Marie Pédrot. Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.. JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. ⟨hal-01110337⟩

Share

Metrics

Record views

181