../code/conceptPage.scroll

id syntex
name SYNTEX
appeared 1972
tags pl

reference https://semanticscholar.org/paper/ea6deec98c58f3bb38bfa0c6ede5490261fe822e

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

semanticScholar 0