Searching for "Monadic concurrent linear logic programming." – sorted by Relevance.
-
Monadic Concurrent Linear Logic Programming
- ABSTRACT Monadic Concurrent Linear Logic Programming Pablo López Universidad de Málaga lopez
- Cited by 19 (11 self) – Add To MetaCart
-
The 5th Workshop on Constraint Handling Rules
- Watkins. Monadic concurrent linear logic programming. In Pedro Barahona and Amy P. Felty, editors
- Add To MetaCart
-
Asserting Memory Shape using Linear Logic
- the linear logic programming language LolliMon. 1. INTRODUCTION The recent research on separation logic by O
- Add To MetaCart

