../code/conceptPage.scroll

id model-k
name MODEL-K
appeared 1993
tags pl

reference https://semanticscholar.org/paper/21038c2f5d47df42bcf2b899c252cb6c68adb88e

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