Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein. Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 43-54, ACM, 2014. [doi]

Authors

Flávio Cruz

This author has not been identified. Look up 'Flávio Cruz' in Google

Ricardo Rocha

This author has not been identified. Look up 'Ricardo Rocha' in Google

Seth Copen Goldstein

This author has not been identified. Look up 'Seth Copen Goldstein' in Google