Work

Dependent Types for Program Understanding

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-31980-1_11

Authors: Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field

Institution: IBM (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1517572804

FWCI: 1.448

Cites: 14

Cited by: 24

Related to: 10