Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language

Liesnikov, Bohdan ✉; Cockx, Jesper

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: Kiselyov O.. Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. (2025) ISBN:9789819789429 pp. 63-83
    Azonosítók
    Idézett közlemények (1)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-01-22 19:59