Work

* The Module System

Year: 2004

Type: book-chapter

Source: Texts in theoretical computer science

DOI: 10.1007/978-3-662-07964-5_12

Authors: Yves Bertot, Pierre Castéran

Institutions: Centre Inria d'Université Côte d'Azur, Institut national de recherche en sciences et technologies du numérique, Laboratoire Bordelais de Recherche en Informatique, Université Bordeaux-I

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W942882022

FWCI:

Cites:

Cited by:

Related to: 10