Options
Intensional objects
Auteur(s)
Plaice, John
Date de parution
1999
In
12th International Symposium on Languages for Intensional Programming (ISLIP'99), International Symposium on Languages for Intensional Programming (ISLIP), 1999///180-187
Résumé
We summarize the interaction between the theory behind intensional programming, as seen in Lucid; and intensional versioning, as seen in Lemur, Intensional HTML, ISE, VMAKE, etc. These two concepts can be seen to be duals of each other, and they rely on dual notions of store, the warehouse for caching values, and the catalog for providing definitions. Catalogs contain intensional objects, which are openable boxes labelled by Lucid contexts. Finally, Lucid contexts are now first-class values.
Identifiants
Type de publication
journal article
Dossier(s) à télécharger
