Work

Imperative objects with dependent types

Year: 2015

Type: conference-paper

Source: Formal Techniques for Java-like Programs

DOI: 10.1145/2786536.2786538

Authors: Joana Campos, Vasco T. Vasconcelos

Institution: University of Lisbon

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2016226915

FWCI: 0.426

Cites: 17

Cited by: 2

Related to: 10