VDict - Definition of higher order unification

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

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

EPSILON zoom PI radix natural language processing eXtended Graphics Array manularity Radio Frequency Interference Ruby font brute force Spectral Band Replication metaphone meta computer vision baud barf Slot 1 LIS SETL2 cable modem MPEG-2 Macintosh II Programmable Interrupt Controller gamma correction interpolation Upper Layer Protocol Partial Response Maximum Likelihood lower set Erasable Programmable Read-Only Memory Rockwell Protocol Interface refresh rate Prolog cyclic redundancy check skolemisation in-order traversal E-carrier system dinosaur pen connective Microsoft SQL Server redundancy garbageabetical order ALLOY go root Universal algebra hobbit high bit Eh Fibre Channel-Arbitrated Loop one-banana problem peer Order Code Processor Hamming distance SCSI-3 You know you've been hacking too long when...Second-Order Lambda-calculus Coalition for Networked Information stale pointer bug Woodenman Scott domain OCP post-order traversal APL2 supercompilation dogpile leading leapfrog attack dry run boundedly complete Bernstein condition Programmer's Switch teraflop club Annual Change Traffic Call Unix DV cartridge lobotomy up OBJ3 Rate monotonic scheduling pre\box Inverse Address Resolution Protocol

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