scientific article; zbMATH DE number 7526054

MaRDI QIDQ5076059

Elena Zucca, Marco Servetto, Paola Giannini

Publication date: 12 May 2022

Full work available at URL: https://arxiv.org/abs/1904.10107

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Featherweight Java
• Rust

Cites Work

• Region-based memory management
• An imperative pure calculus
• Flexible recovery of uniqueness and immutability
• Skew confluence and the lambda calculus with letrec
• A type system for borrowing permissions
• Aliasing Control in an Imperative Pure Calculus
• The call-by-need lambda calculus
• The call-by-need lambda calculus
• Alias burying: Unique variables without destructive reads

This page was built for publication: