Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/popl/DemersD83
AU - Demers, Alan J.
AU - Donahue, James E.
TI - Making Variables Abstract: An Equational Theory for Russell.
BT - Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983
SP - 59
EP - 72
PY - 1983//
DO - 10.1145/567067.567075
UR - https://doi.org/10.1145/567067.567075
ER -
