Intensional objects
Author(s)
Plaice, John
Date issued
1999
From page
180
To page
187
Abstract
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
Event name
12th International Symposium on Languages for Intensional Programming
Location
Athens, Greece
Publication type
conference paper