João Costa Seco, Luís Caires
Types for Dynamic Reconfiguration
ESOP, 2006.
@inproceedings{ESOP-2006-SecoC, author = "João Costa Seco and Luís Caires", booktitle = "{Proceedings of the 15th European Symposium on Programming}", doi = "10.1007/11693024_15", editor = "Peter Sestoft", isbn = "3-540-33095-X", pages = "214--229", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Types for Dynamic Reconfiguration}", volume = 3924, year = 2006, }