Mutsunori Banbara, Naoyuki Tamura. Compiling Resources in a Linear Logic Programming Language. In Implementation Technology for Programming Languages based on Logic. pages 32-45, 1998.
@inproceedings{BanbaraT98,
title = {Compiling Resources in a Linear Logic Programming Language},
author = {Mutsunori Banbara and Naoyuki Tamura},
year = {1998},
tags = {programming languages, logic programming, compiler, programming, logic},
researchr = {https://researchr.org/publication/BanbaraT98},
cites = {0},
citedby = {0},
pages = {32-45},
booktitle = {Implementation Technology for Programming Languages based on Logic},
}