../code/conceptPage.scroll id ohaskell name O'Haskell appeared 2002 tags pl lab Oregon Graduate Institute country United States reference https://www.sciencedirect.com/science/article/pii/S0167642302000266 hopl https://hopl.info/showlanguage.prx?exp=3545