Bidirectional Translation between a C-like Language and an Imperative \lambda-calculus - Ecole Nationale du Génie de l'Eau et de l'Environnement de Strasbourg
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