4 papers:
IFL-1999-DidrichGSTT #functional #programming language- Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.
- IFL-1997-DidrichGMP #algebra #in the large #programming
- Programming in the Large: The Algebraic-Functional Language Opal 2α (KD, WG, CM, PP), pp. 322–337.
RTA-1997-GreenHK #commutative #named- Opal: A System for Computing Noncommutative Gröbner Bases (ELG, LSH, BJK), pp. 331–334.
SOSP-WIP-1991-ChaseBLL92 #architecture #named- Opal: A Single Address Space System for 64-Bit Architectures (Abstract) (JSC, MBH, HML, EDL), p. 9.
