Work

Refinement types for Haskell

Year: 2014

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/2692915.2628161

Authors: Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones

Institutions: University of California San Diego, Microsoft Research (United Kingdom)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Microsoft Research, Division of Computing and Communication Foundations, Division of Computer and Network Systems

Awards: G1625094780, G6126839850, G768711448, G8784396199

OpenAlex ID: W4239433846

FWCI: 4.943

Cites: 29

Cited by: 52

Related to: 10