../code/conceptPage.scroll

id cvl
name CVL
appeared 1993
tags pl
lab Carnegie Mellon

reference https://semanticscholar.org/paper/8baa5abf530e18801a7565645644e983a4b72415

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