Work

Abstract data type systems

Year: 1997

Type: conference-abstract

Source: Theoretical Computer Science

DOI: 10.1016/s0304-3975(96)00161-2

Authors: Jean-Pierre Jouannaud, Mitsuhiro Okada

Institutions: Centre National de la Recherche Scientifique, Laboratoire de Recherche en Informatique, Keio University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Keio University, Centre National de la Recherche Scientifique, Natural Sciences and Engineering Research Council of Canada

OpenAlex ID: W2031678037

Cites: 48

Cited by: 62

Related to: 10