../code/conceptPage.scroll

id hol
name HOL
appeared 1985
tags pl
lab University of Cambridge

country United Kingdom
reference https://semanticscholar.org/paper/59d47f0ea4b90c9b7b8e4b7553413616d149125f

hopl https://hopl.info/showlanguage.prx?exp=1150