Sharing a Perspective on the-Calculus

Beniamino Accattoli

doi:10.1145/3622758.3622884

Sharing a Perspective on the-Calculus

Beniamino Accattoli

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

1 Citation (Scopus)

Résumé

The λ-calculus models the core of functional programming languages. This essay discusses a gap between the theory of the λ-calculus and functional languages, namely the fact that the former does not give a status to sharing, the essential ingredient for efficiency in the lattter. 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 λ-calculus, breaking some expected properties, and demanding the development of new, richer semantics of the λ-calculus.

langue originale	Anglais
titre	Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with
Sous-titre	SPLASH 2023
rédacteurs en chef	Tijs van der Storm, Robert Hirschfeld
Editeur	Association for Computing Machinery, Inc
Pages	179-190
Nombre de pages	12
ISBN (Electronique)	9798400703881
Les DOIs	https://doi.org/10.1145/3622758.3622884
état	Publié - 18 oct. 2023
Evénement	2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, co-located with SPLASH 2023 - Cascais, Portugal Durée: 25 oct. 2023 → 27 oct. 2023

Série de publications

Nom	Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023

Une conférence

Une conférence	2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, co-located with SPLASH 2023
Pays/Territoire	Portugal
La ville	Cascais
période	25/10/23 → 27/10/23

Accès au document

10.1145/3622758.3622884

Contient cette citation

Accattoli, B. (2023). Sharing a Perspective on the-Calculus. Dans T. van der Storm, & R. Hirschfeld (eds.), Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023 (p. 179-190). (Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023). Association for Computing Machinery, Inc. https://doi.org/10.1145/3622758.3622884

Accattoli, Beniamino. / Sharing a Perspective on the-Calculus. Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023. Editeur / Tijs van der Storm ; Robert Hirschfeld. Association for Computing Machinery, Inc, 2023. p. 179-190 (Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023).

@inproceedings{04ffb6ba0db547c5aba18413406705a5,

title = "Sharing a Perspective on the-Calculus",

abstract = "The λ-calculus models the core of functional programming languages. This essay discusses a gap between the theory of the λ-calculus and functional languages, namely the fact that the former does not give a status to sharing, the essential ingredient for efficiency in the lattter. 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 λ-calculus, breaking some expected properties, and demanding the development of new, richer semantics of the λ-calculus.",

keywords = "Lambda calculus, functional languages, sharing",

author = "Beniamino Accattoli",

note = "Publisher Copyright: {\textcopyright} 2023 ACM.; 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, co-located with SPLASH 2023 ; Conference date: 25-10-2023 Through 27-10-2023",

year = "2023",

month = oct,

day = "18",

doi = "10.1145/3622758.3622884",

language = "English",

series = "Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023",

publisher = "Association for Computing Machinery, Inc",

pages = "179--190",

editor = "\{van der Storm\}, Tijs and Robert Hirschfeld",

booktitle = "Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with",

}

Accattoli, B 2023, Sharing a Perspective on the-Calculus. Dans T van der Storm & R Hirschfeld (eds), Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023. Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023, Association for Computing Machinery, Inc, p. 179-190, 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, co-located with SPLASH 2023, Cascais, Portugal, 25/10/23. https://doi.org/10.1145/3622758.3622884

Sharing a Perspective on the-Calculus. / Accattoli, Beniamino.
Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023. Ed. / Tijs van der Storm; Robert Hirschfeld. Association for Computing Machinery, Inc, 2023. p. 179-190 (Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Sharing a Perspective on the-Calculus

AU - Accattoli, Beniamino

PY - 2023/10/18

Y1 - 2023/10/18

N2 - The λ-calculus models the core of functional programming languages. This essay discusses a gap between the theory of the λ-calculus and functional languages, namely the fact that the former does not give a status to sharing, the essential ingredient for efficiency in the lattter. 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 λ-calculus, breaking some expected properties, and demanding the development of new, richer semantics of the λ-calculus.

AB - The λ-calculus models the core of functional programming languages. This essay discusses a gap between the theory of the λ-calculus and functional languages, namely the fact that the former does not give a status to sharing, the essential ingredient for efficiency in the lattter. 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 λ-calculus, breaking some expected properties, and demanding the development of new, richer semantics of the λ-calculus.

KW - Lambda calculus

KW - functional languages

KW - sharing

U2 - 10.1145/3622758.3622884

DO - 10.1145/3622758.3622884

M3 - Conference contribution

AN - SCOPUS:85178327898

T3 - Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023

SP - 179

EP - 190

BT - Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with

A2 - van der Storm, Tijs

A2 - Hirschfeld, Robert

PB - Association for Computing Machinery, Inc

T2 - 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, co-located with SPLASH 2023

Y2 - 25 October 2023 through 27 October 2023

ER -

Accattoli B. Sharing a Perspective on the-Calculus. Dans van der Storm T, Hirschfeld R, rédacteurs en chef, Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023. Association for Computing Machinery, Inc. 2023. p. 179-190. (Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023). doi: 10.1145/3622758.3622884

Sharing a Perspective on the-Calculus

Résumé

Série de publications

Une conférence

Accès au document

Empreinte digitale

Contient cette citation