Type-based hot swapping of running modules (extended abstract)

DOI10.1145/507635.507645zbMath1323.68070OpenAlexW2012566199MaRDI QIDQ5177998

Dominic Duggan

Publication date: 9 March 2015

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

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

zbMATH Keywords

dynamic typinghot swappingmodule interconnection languagesshared libraries

Mathematics Subject Classification ID

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

Related Items (1)

Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method

This page was built for publication: Type-based hot swapping of running modules (extended abstract)