Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins
Monadic concurrent linear logic programming
PPDP, 2005.
@inproceedings{PPDP-2005-LopezPPW,
author = "Pablo López and Frank Pfenning and Jeff Polakow and Kevin Watkins",
booktitle = "{Proceedings of the Seventh International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1145/1069774.1069778",
isbn = "1-59593-090-6",
pages = "35--46",
publisher = "{ACM}",
title = "{Monadic concurrent linear logic programming}",
year = 2005,
}