../code/conceptPage.scroll

id forall
name FORALL
appeared 1980
tags pl
lab Commonwealth Scientific && Industrial Research Organisation

country Australia
reference https://semanticscholar.org/paper/1fcd8c83012358587b4a2cec7bc0b3ec255800b1

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