(computer science, type theory) In a functional language, inference of a polymorphic type only for syntactic values (values that can be evaluated at compile time) to ensure that a program is type-safe.

plural of field restriction

Synonym of digital handcuffs

(law) An agreement between parties limiting or restricting the use of land owned by one of the parties. / (law) A noncompete agreement

plural of restricted function

plural of restrictive practice

(computing) A function used in an operating system that is not available to application programs.

(stock market) Stock of a company that is not fully transferable to shareholders until certain conditions have been met.

plural of restricted stock

plural of restricted security