Sharing a Perspective on the-Calculus

Beniamino Accattoli

doi:10.1145/3622758.3622884

Sharing a Perspective on the-Calculus

Beniamino Accattoli

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with
Subtitle of host publication	SPLASH 2023
Editors	Tijs van der Storm, Robert Hirschfeld
Publisher	Association for Computing Machinery, Inc
Pages	179-190
Number of pages	12
ISBN (Electronic)	9798400703881
DOIs	https://doi.org/10.1145/3622758.3622884
Publication status	Published - 18 Oct 2023
Event	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 Duration: 25 Oct 2023 → 27 Oct 2023

Publication series

Name	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

Conference

Conference	2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, co-located with SPLASH 2023
Country/Territory	Portugal
City	Cascais
Period	25/10/23 → 27/10/23

Keywords

Lambda calculus
functional languages
sharing

Access to Document

10.1145/3622758.3622884

Cite this

Accattoli, B. (2023). Sharing a Perspective on the-Calculus. In 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 (pp. 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. editor / Tijs van der Storm ; Robert Hirschfeld. Association for Computing Machinery, Inc, 2023. pp. 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. in 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, pp. 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. In van der Storm T, Hirschfeld R, editors, 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

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this