VDict - Definition of higher-order

search result for higher-order in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

higher-order macro HOL Lambda Prolog OBJ first-order Quest first-order logic LNF BABEL CHOCS traversal TrafoLa functional F-Logic Fresh Forsythe higher-order function FL ASL+Object Role Modeling Cube Isabelle LUCID overclocking Obliq bottom-up implementation map L0 Bird-Meertens Formalism EMM386 Oz HiLog Extensible Shell Language for Communicating Systems Ratatosk least fixed point filter predicate logic FP UFO network byte order order-embedding ASCIIbetical order Church integer reverse engineering fix Concurrent ML abstraction Skel-ML Similix Lolli 6.001 magneto-optical disk XSB data flow analysis Hollerithabetical order Baudotbetical order fully lazy lambda lifting LOP Clean polymorphic lambda-calculus ML backing store compiler pre-order logic stacking order reduction strategy Basic Input/Output System parallel reduction Zuse Subset-Equational Language normal order reduction equational logic isomorphism TABLOG mode client-server Persistent Functional Language HENSA

First < Previous 1 2 3 4 5 6 Next > Last