"ALF can also refer to Algebraic Logic Functional programming language.ALF (\"Another logical framework\") is a structure editor for monomorphic Martin-L\u00F6f type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages. It was the first language to support inductive families and dependent pattern matching."@en .