Sharing a Perspective on the lambda Calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Sharing a Perspective on the lambda Calculus

Résumé

The lambda calculus models the core of functional programming languages. This essay discusses a gap between the theory of the lambda calculus and functional languages, namely the fact that the former does not give a status to sharing, the essential ingredient for efficiency in the latter. The essay provides an overview of the perspective of the author, who has been and still is studying sharing from various angles. In particular, it explains how sharing impacts the equational and denotational semantics of the lambda calculus, breaking some expected properties, and demanding the development of new, richer semantics of the lambda calculus.
Fichier principal
Vignette du fichier
3622758.3622884.pdf (636.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04280550 , version 1 (13-11-2023)

Licence

Paternité

Identifiants

Citer

Beniamino Accattoli. Sharing a Perspective on the lambda Calculus. Onward! 2023 - ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Oct 2023, Cascais, Portugal. pp.179-190, ⟨10.1145/3622758.3622884⟩. ⟨hal-04280550⟩
44 Consultations
35 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More