Suggest an abbreviation Add to bookmarks Print the page Search for an abbreviation HomeHOL What does HOL mean? Code Meaning Language Themes and places HOL High-Order Language In English Programming languages HOL High Order Language In English Programming languages