../code/conceptPage.scroll

id active-u-datalog
name Active-U-Datalog
appeared 1997
tags pl
lab University of Milano && University of Pisa

reference https://semanticscholar.org/paper/5078911ff4231663723797b23e0583742fba6919

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