The Locales Framework