../code/conceptPage.scroll

id mavis
name MAVIS
appeared 1992
tags pl
lab University of Virginia

country United States
reference https://semanticscholar.org/paper/1f19a79f757a250a02c294c4f70b7cb9173204d2

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