Pablo Lopez, Frank Pfenning, Jeff Polakow, and Kevin Watkins. Monadic concurrent linear logic programming. In A. Felty, editor, Proceedings of the 7th International Symposium on Principles and Practice of Declarative Programming (PPDP'05), pages 35--46, Lisbon, Portugal, ACM Press 2005. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Avoiding Causal Dependencies via Proof Irrelevance in a.. - Ley-Wild, Pfenning (2006) Self-citation (Pfenning) (Correct)
No context found.
Pablo Lopez, Frank Pfenning, Jeff Polakow, and Kevin Watkins. Monadic concurrent linear logic programming. In A. Felty, editor, Proceedings of the 7th International Symposium on Principles and Practice of Declarative Programming (PPDP'05), pages 35--46, Lisbon, Portugal, ACM Press 2005.
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) Self-citation (Pfenning) (Correct)
No context found.
Pablo Lopez, Frank Pfenning, Je# Polakow, and Kevin Watkins. Monadic concurrent linear logic programming. In Proceedings of the 7th International Symposium on Principles and Practice of Declarative Programming, pages 35--46, Lisbon, Portugal, July 2005.
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) Self-citation (Pfenning) (Correct)
No context found.
Pablo Lopez, Frank Pfenning, Je# Polakow, and Kevin Watkins. Monadic concurrent linear logic programming. In Proceedings of the 7th International Symposium on Principles and Practice of Declarative Programming (PPDP'05), Lisbon, Portugal, 2005.
Type-Directed Concurrency - Deepak Garg And Self-citation (Pfenning) (Correct)
No context found.
P. Lopez, F. Pfenning, J. Polakow, and K. Watkins. Monadic concurrent linear logic programming. In Proc. of PPDP'05, 2005. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC