VDict - Definition of Second-Order Lambda-calculus

search result for Second-Order Lambda-calculus in Computing (FOLDOC) dictionary

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

F-Logic Fresh Scott domain OCP post-order traversal APL2 supercompilation dogpile Forsythe leading leapfrog attack dry run boundedly complete Bernstein condition Programmer's Switch teraflop club Annual Change Traffic Call Unix DV cartridge lobotomy up OBJ3 vertical application pre-order traversal filter promotion TEMPLOG MPEG-21 ordering jack in higher-order function followup FL ASL+defect analysis Clean embedding Object Role Modeling binary package Steelman Cube *LISP topic thread 120 reset statistics referential transparency AppleTalk Filing Protocol Gauss greek algebraic repeating group reliable communication hierarchical database tracking go voice Indexed Sequential Access Method relation Obliq sequential file matching NetBIOS Omega-algebraic instruction set architecture data driven deductive database dongle-disk Greenwich Mean Time token bus bottom-up implementation call-by-value BeBOP map Network File System calling convention shim Interactive CourseWare channel service unit knowledge representation Language Of Temporal Ordering Specification Write-Once Read-Many permutation Make

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