@inproceedings{FitzRoyDale_07, address = {Sydney, Australia}, author = {Nicholas FitzRoy-Dale}, booktitle = {International Workshop on Microkernels for Embedded Systems}, month = jan, paperurl = {https://trustworthy.systems/publications/papers/FitzRoyDale_07.pdf}, title = {A declarative approach to extensible interface compilation}, year = {2007} }