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

bum operating system walking drives priority scheduling cache Domain Name System String Oriented Symbolic Language pattern matching vanilla Scheme Lorenz attractor union array Pentium II SuperJanet powerdomain PowerPC Pentium Pro fence multitasking sort hook applet phacker lambda-calculus vaxocentrism occam crunch phase bootstrap loader random machine cycle Universal Asynchronous Receiver/Transmitter Material Requirements Planning portability Baudot code progressive coding speech recognition random-access memory IBM PC grammar mirror Lightweight Directory Access Protocol functional programming Real Programmer abstract interpretation vadding cybernetics Constructive Cost Model Common Gateway Interface Turing Machine amateur packet radio Vint Cerf heap binary file ColdFusion Intel 8086 Emacs scratch monkey hostname bit-paired keyboard Envoy PROgrammed Graph REwriting Systems BASIC disk drive stack cracker software theft magnetic tape Digital Audio Tape parallel processing computer ethics protected mode HAKMEM American Standard Code for Information Interchange Joint Bi-level Image Experts Group Real Programmers Don't Use Pascal GNU Free Documentation License

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