Due to the multitude of terminologies brought on by the emergence of the “purely
functional” approach in operating systems, such a document seemed warranted;
Some terms are brand new, others should be familiar but have been re-purposed
while others yet though established have been replaced.
Based on an extensive review of the existing literature, this language summary
aims to be an entry point for researchers and others interested in this novel, and
active field. Its vocabulary will hopefully not be a hindrance anymore to their
various activities (theory or practice). *older re-upload