Work

A Type Checked Prototype-Based Model with Linearity

Year: 2004

Type: report

Source: Defense Technical Information Center (DTIC)

DOI: 10.21236/ada456086

Authors: Andi Bejleri, Jonathan Aldrich, Kevin Bierhoff

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W249552054

Cites: 22

Cited by: 1

Related to: 10