Work

Refinement Types: A Tutorial

Year: 2021

Type: book

DOI: 10.1561/9781680838855

Authors: Ranjit Jhala, Niki Vazou

Institutions: University of California San Diego, IMDEA Software Institute

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4206639422

FWCI: 2.558

Cites: 94

Cited by: 5

Related to: 10