Options
Intensional objects
Auteur(s)
Plaice, John
Date de parution
1999
De la page
180
A la page
187
Résumé
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.
Notes
, 2016
Nom de l'événement
12th International Symposium on Languages for Intensional Programming
Lieu
Athens, Greece
Identifiants
Type de publication
conference paper
