Compiling Resources in a Linear Logic Programming Language.
Mutsunori Banbara, Naoyuki Tamura
VenueBICLP
Year1998
ProceedingsImplementation Technology for Programming Languages based on Logic
DBLP recordconf/iclp/BanbaraT98 ↗
Browse the full ICLP paper archive.