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
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