Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda
Autores: Ernesto Copello, Álvaro Tasistro, Bruno Bianchi
Lecture notes in computer science
2014
Citas: 2
Citas por Año
Detalle de publicaciones citantes no descargado
Esta publicación registra 2 citas acumuladas (métrica provista por OpenAlex), pero sus artículos citantes individuales aún no han sido importados a la base de datos local.
El PDF fue subido pero no se pudieron extraer referencias ni figuras del documento.