../code/conceptPage.scroll

id conc
name ConC
appeared 1991
tags pl
lab University of Texas && University of California Berkeley

country United States
reference https://semanticscholar.org/paper/16d28ea9cb901e30df0ce0ea0a7c49cabe5cc57a

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