VDict - Definition of beta abstraction

search result for beta abstraction in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

beta abstraction beta reduction beta conversion alpha conversion reduction BETA name capture beta testing beta alpha/beta pruning bracket abstraction Siri abstract data type lambda abstraction Captain Abstraction Weak Head Normal Form constant applicative form data abstraction Alphard beta version Fortran Matrix Abstraction Technique Fortran quality assurance Head Normal Form Windows Open Service Architecture abstraction restructuring black box set abstraction redocumentation FALSE Hardware Abstraction Layer SCRIPT Concurrent CLU eta abstraction CLP*Intermediate Programming Language MODEF FORMAT-Fortran alpha testing lambda expression suicideware lenient evaluation head normalisation theorem hole pure lambda-calculus Algebra of Communicating Processes Extended Concurrent Prolog LARCH/CLU Windows NT 3.1 HAL not ready for prime time raw mode bottom-up implementation MODEL Program Evaluation and Review Technique Concurrent Object-Oriented C release bound variable Ibpag2 maximal free expression high-level language Open Distributed Processing open/closed principle eta conversion crash and burn Prograph principal type inline Ellie German reverse engineering fix Liskov substitution principle Google module 6.001 Application Program Interface constructive fully lazy lambda lifting Graphical Kernel System

First < Previous 1 2 Next > Last