Work

Formal Properties of Linear Memory Types

Year: 2003

Type: article

Authors: Heng Huang, Lea Wittie, Chris Hawblitzel

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3087101034

FWCI: 1.057

Cites:

Cited by: 5

Related to: 16