A reactive operational semantics for a lambda-calculus with time warps - Trente-Troisièmes Journées Francophones des Langages Applicatifs Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

A reactive operational semantics for a lambda-calculus with time warps

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
jfla22-submit.pdf (978.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Ada Vienot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03465519

Soumis le : samedi 2 avril 2022-17:57:44

Dernière modification le : samedi 7 octobre 2023-21:36:22

Archivage à long terme le : dimanche 3 juillet 2022-18:19:34

Télécharger pour visualiser

Dates et versions

hal-03465519 , version 1 (02-04-2022)

Identifiants

  • HAL Id : hal-03465519 , version 1

Citer

Adrien Guatto, Christine Tasson, Ada Vienot. A reactive operational semantics for a lambda-calculus with time warps. Journées Francophones des Langages Applicatifs - JFLA 2022, Feb 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03465519⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES JFLA2022 IRIF
277 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More