Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels. (Efficient Strategies and Implementation Models for Functional Languages)

@inproceedings{Sinot2006StratgiesEE,
  title={Strat{\'e}gies Efficaces et Mod{\`e}les d'Implantation pour les Langages Fonctionnels. (Efficient Strategies and Implementation Models for Functional Languages)},
  author={François-R{\'e}gis Sinot},
  year={2006}
}
In functional languages, e ciency heavily relies on the choice of an evaluation strategy and an implementation model. We rst develop a λ-calculus with explicit substitutions which avoids the usual problems of substitution and α-conversion, where we can de ne the usual strategies, as well as some strategies with more sharing of computations. We then develop… CONTINUE READING