Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Abstract Machines for Open Call-by-Value

Participant : Beniamino Accattoli.

This journal paper in collaboration with Giulio Guerrieri (Post-doc at Bath University) [4] outlines a theory of abstract machines for the call-by-value ł-calculus with open terms. It refines and extends the results by the same authors from 2017, which were among the selected ones from the international conference FSEN 2017 for publication in a journal.