Higher-Order
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