Inproceedings,

Compiling Resources in a Linear Logic Programming Language.

, and .
Implementation Technology for Programming Languages based on Logic, page 32-45. (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews