Sun 22 - Fri 27 October 2023 Cascais, Portugal
Thu 26 Oct 2023 14:00 - 14:45 at Room VII - Essays 2 Chair(s): James Noble

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 \textit{sharing}, the essential ingredient for efficiency in the lattter.

The essay overviews the perspective of the author, who studied and studies sharing from various angles. In particular, it explains how sharing impacts on the \textit{equational} and \textit{denotational} semantics of the $\lambda$-calculus, breaking some expected properties, and requiring the development of new, richer semantics of the $\lambda$-calculus.

Thu 26 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
Essays 2Onward! Essays at Room VII
Chair(s): James Noble Research & Programming
Sharing a Perspective on the lambda-Calculus
Onward! Essays
Beniamino Accattoli Inria & Ecole Polytechnique
Link to publication DOI
Whither Problem-Solving Environments?
Onward! Essays
Matthew Dinmore Johns Hopkins Applied Physics Laboratory
Link to publication DOI File Attached