Abstraction preservation and subtyping in distributed languages

DOI10.1145/1159803.1159841zbMath1321.68148OpenAlexW2166420892MaRDI QIDQ5501476

Pierre-Malo Deniélou, James J. Leifer

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159841

zbMATH Keywords

type theorysubtypingprogramming language semanticsmodule systemsserialisation and distributed computation

Mathematics Subject Classification ID

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

This page was built for publication: Abstraction preservation and subtyping in distributed languages