Work

Dependent object types with implicit functions

Year: 2019
Type: conference-paper
Author: Alex Jeffery
Language: English
Subfield: Software
Open Access status: closed
OpenAlex ID: W2962037843
FWCI: 0.529
Cites: 11
Cited by: 4
Related to: 10