The term for a context in which any kind of abstractions are recursively possible over a system. That is, objects that talk about objects that talk about, etc, about the system.

In the specific sense as an adjective on a type, it refers to the situation where the context allows higher-order objects of that type for that type.

This page is linked from: Alice   Bla   Charity   Clean   Combinator   Configuration   Confluence   Coq   Decentralized   FreshML   Functional   Grain   Lego   MetaML   Metatext   Moby   Pi Calculus   Scala   User Rights