HOLCF

(redirected from Higher Order Logic of Computable Functions)
AcronymDefinition
HOLCFHigher Order Logic of Computable Functions
HOLCFHigh Order Language Control Facility (US DoD)
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
Full browser ?