Static typing for a substructural lambda calculus

DOI10.1007/s11704-011-9106-1zbMath1267.68086OpenAlexW2078715622MaRDI QIDQ352080

Baojian Hua

Publication date: 4 July 2013

Published in: Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-011-9106-1

zbMATH Keywords

programming languageslinear type systemssubstructural type systemsubtyping theorytype preserving translation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Cites Work

• Linear logic
• On the unity of logic
• On regions and linear types (extended abstract)
• An effective theory of type refinements
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Static typing for a substructural lambda calculus