Skeletons Out! The Spirit of Node Replication

Daniel Ventura (Universidade Federal de Goiás, Brazil)

24-Jun-2021, 17:00-18:00 (3 years ago)

Abstract: (joint work with Delia Kesner and Loïc Peyrot)

In this talk we introduce a term calculus implementing higher-order node replication, where substitution of terms are executed constructor by constructor. Besides implementing the full node replication, two evaluation strategies are considered --call-by-name and fully lazy call-by-need-- based on the key notion of skeleton, with skeleton extraction internally codified in the calculus. Observational equivalence between strategies is proved through a standard non-idempotent intersection type system.

logic in computer scienceprogramming languages

Audience: researchers in the topic


LoReL Seminar

Series comments: Talks are either in Spanish or English, however they can often be in English upon request.

Organizer: Alejandro Díaz-Caro*
*contact for this listing

Export talk to