../code/conceptPage.scroll

id pascal-xsc
name Pascal-XSC
appeared 1991
tags pl
lab Universitat Karlsruhe

country Germany
reference https://www2.math.uni-wuppertal.de/wrswt/literatur/rep9801.pdf
reference https://semanticscholar.org/paper/dc823b9dc049d8732bac5c15365b72c3ebe5c825

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

semanticScholar 0