Work

Monadic concurrent linear logic programming

Year: 2005

Type: conference-paper

Source: International Symposium on Principles and Practice of Declarative Programming (PPDP)

DOI: 10.1145/1069774.1069778

Authors: Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins

Institutions: Universidad de Málaga, Carnegie Mellon University, Japan Science and Technology Agency, National Institute of Advanced Industrial Science and Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1963779317

FWCI: 2.716

Cites: 34

Cited by: 53

Related to: 10