Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang. Efficient Implementation of a Linear Logic Programming Language. In Implementation Technology for Programming Languages based on Logic. pages 145-159, 1998.
@inproceedings{HodasWTK98,
title = {Efficient Implementation of a Linear Logic Programming Language},
author = {Joshua S. Hodas and K. M. Watkins and Naoyuki Tamura and Kyoung-Sun Kang},
year = {1998},
tags = {programming languages, logic programming, programming, logic},
researchr = {https://researchr.org/publication/HodasWTK98},
cites = {0},
citedby = {0},
pages = {145-159},
booktitle = {Implementation Technology for Programming Languages based on Logic},
}