Work

Structural refinement types

Year: 2022

Type: conference-paper

Source: ACM SIGPLAN International Workshop on Type-Driven Development (TyDe)

DOI: 10.1145/3546196.3550163

Authors: David Binder, Ingo Skupin, David Läwen, Klaus Ostermann

Institution: University of Tübingen

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4294840040

FWCI: 0.866

Cites: 15

Cited by: 11

Related to: 10