Technology
- Advanced Library Format, an ASIC databook
- Algebraic Logic Functional programming language
- ALF (proof assistant)
- Application layer framing
- Application Lifecycle Framework, integration framework for ALM tools
- Atomic line filter, an advanced optical filter
- ALF (theorem prover), a dependently-typed programming language/theorem prover.
- Algebraic Logic Functional programming language, a functional/logic programming language.
Read more about this topic: ALF
Main Site Subjects
Related Subjects
Related Phrases
Related Words