Pablo Barenbaum

Découvre une nouvelle méthode pour améliorer l'efficacité d'évaluation dans le calcul des lambda.

Cette recherche se concentre sur un nouveau type de système qui combine des stratégies d'évaluation dans les langages de programmation.