Typed interpretations of extensible objects

DOI10.1145/566385.566389zbMath1365.68156OpenAlexW2091611864MaRDI QIDQ5738966

Silvia Crafa, Michele Bugliesi, Viviana Bono

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

type systemsubtypingobject calculustype specializationcomputational adequacyextensible objecttyped encoding

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

This page was built for publication: Typed interpretations of extensible objects