Bidirectional Translation between a C-like Language and an Imperative \lambda-calculus - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2025

Dates et versions

hal-04859522 , version 1 (30-12-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04859522 , version 1

Citer

Guillaume Bertholon, Arthur Charguéraud. Bidirectional Translation between a C-like Language and an Imperative \lambda-calculus. 36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France. ⟨hal-04859522⟩
0 Consultations
0 Téléchargements

Partager

More