Work

Plan B

Year: 2013

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/2480359.2429110

Authors: Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek

Institutions: Institut de Recherche en Informatique et Systèmes Aléatoires, École Normale Supérieure Paris-Saclay, Purdue University West Lafayette, Institut national de recherche en sciences et technologies du numérique, Centre Inria de l'Université de Rennes

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4242922013

FWCI: 1.738

Cites: 30

Cited by: 8

Related to: 10