Data layout from a type-theoretic perspective

DOI10.46298/ENTICS.10507MaRDI QIDQ6831515zbMATH OpenFDO

Authors Henry DeYoung, Frank Pfenning

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.10507

zbMATH Keywords

Curry-Howard correspondencedata layoutfutures-based concurrencysequent calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A type theory for memory allocation and data layout
• Analytic cut
• Back to futures
• Functionality in combinatory logic.
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• Logic Programming with Focusing Proofs in Linear Logic
• MULTILISP: a language for concurrent symbolic computation
• On the unity of logic
• Semi-axiomatic sequent calculus
• Untersuchungen über das logische Schließen. I.

This page was built for publication: Data layout from a type-theoretic perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831515)