../code/conceptPage.scroll id abal name ABAL appeared 1974 tags pl lab Auburn University reference https://semanticscholar.org/paper/451fb648f4cf28e6b4d7ddb58717a68ad5e50a75 hopl https://hopl.info/showlanguage.prx?exp=7892