../code/conceptPage.scroll

id triroff
name triroff
appeared 1983
tags pl

reference https://semanticscholar.org/paper/3a45d4b1955f4dda1f5be8a0ebea7e4f0e9dc66c

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