../code/conceptPage.scroll

id ufl
name UFL
appeared 1986
tags pl

reference https://semanticscholar.org/paper/f7f4bc1efa7927db054a3665df6c56b2e3ed4957

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