@inproceedings{DBLP:conf/pos/FarkasDH96,
author = {Alex Farkas and
Alan Dearle and
David Hulse},
title = {Operating System Support for Inter-Domain Type Checking},
booktitle = {POS},
year = {1996},
pages = {23-32},
bibsource = {DBLP, http://dblp.uni-trier.de}
}