../code/conceptPage.scroll

id htel
name HTEL
appeared 1999
tags pl
lab Technical University of Denmark

country Denmark
reference https://semanticscholar.org/paper/dd0af90e1a0c9804bcff667b96fb488fa9d019ec

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