HOLCF

AcronymDefinition
HOLCFHigher Order Logic of Computable Functions
HOLCFHigh Order Language Control Facility (US DoD)