Work

Certified Programming with Dependent Types Made Simple with Proxy-based Small Inversions

Year: 2025

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Corbineau, Pierre, Gros, Basile, Monin, Jean-François

Institutions: Institut polytechnique de Grenoble, Verimag, Université Grenoble Alpes

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7134871925

FWCI:

Cites:

Cited by:

Related to: