../code/conceptPage.scroll

id real-time-euclid
name Real-Time Euclid
appeared 1986
tags pl
lab New Jersey Institute of Technology

country United States
reference https://www.sciencedirect.com/science/article/pii/S1474667017512653
reference https://semanticscholar.org/paper/d3919948faeff1e0b6d1c1c6ebf98aa735fd7937

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