Work

Code Generation for Higher Inductive Types: A Study in Agda Metaprogramming

Year: 2019

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

DOI: 10.1007/978-3-030-16202-3_2

Author: Paventhan Vivekanandan

Institutions: Indiana University Bloomington, Indiana University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2921343827

FWCI:

Cites: 31

Cited by: 1

Related to: 10