Date de parution
De la page
A la page
We summarize the interaction between the theory behind intensional program- ming, 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 cata- log for providing definitions. Catalogs contain intensional objects, which are openable boxes labelled by Lucid contexts. Finally, Lucid contexts are now first-class values.
Nom de l'événement
12th International Symposium on Languages for Intensional Programming
Type de publication
Resource Types::text::conference output::conference proceedings::conference paper