MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Monadic concurrent linear logic programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Monadic Concurrent Linear Logic Programming
by Pablo Lopez, Frank Pfenning, Jeff Polakow, Kevin Watkins — 2005
…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
by Tom Schrijvers, Frank Raiser, Thom Frühwirth (editors, F. Lichtenberger, P. Paule, H. Rolletschek, J. Schicho, C. Schneider, W. Schreiner, Thom Frühwirth — 2008
… Watkins. Monadic concurrent linear logic programming. In Pedro Barahona and Amy P. Felty, editors…
Add To MetaCart

Asserting Memory Shape using Linear Logic
by Frances Spalding, et al.
… the linear logic programming language LolliMon. 1. INTRODUCTION The recent research on separation logic by O…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB