../code/conceptPage.scroll

id tyco
name Tyco
appeared 1998
tags pl

reference https://semanticscholar.org/paper/07e2ebd1eb111e609d26afdd7a1d9a46d2de7868

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