Efficient Implementation of a Linear Logic Programming Language

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.

Authors

Joshua S. Hodas

This author has not been identified. Look up 'Joshua S. Hodas' in Google

K. M. Watkins

This author has not been identified. Look up 'K. M. Watkins' in Google

Naoyuki Tamura

This author has not been identified. Look up 'Naoyuki Tamura' in Google

Kyoung-Sun Kang

This author has not been identified. Look up 'Kyoung-Sun Kang' in Google