Les cahiers de l'innovation

Chercheur ou chercheuse

Bagrel Thomas

Chercheur ou chercheuse identifié(e) à partir d’une publication HAL.

Activité actuelle non vérifiée

Activité scientifique

Informations établies à partir des publications HAL présentes dans le périmètre importé.

2publications HAL repérées
2publications depuis 5 ans
2025publication la plus récente

Profils publics

Publications sur HAL →Profil ORCID →

Domaines HAL

Informatique

Mots-clés fréquents

HaskellCCS ConceptsCCS Concepts Theory of computation → Type structures • Software and its engineering → Formal language definitions Functional languages Data types and structures Destination PassingFunctional ProgrammingLinear TypesPure LanguageTheory of computation → Type structures• Software and its engineering → Formal language definitionsFunctional languagesData types and structures Destination PassingProgramming Languages csPLFOS Computer and information sciencesLinear type systemsMemory managementFunctional programmingDestination passingProgrammation fonctionnelleGestion de la mémoire

Publications récentes repérées

  1. Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes2025 · Communication dans un congrès
    Consulter →
  2. Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings2025 · Thèse
    Consulter →

Rattaché à

Une publication atteste un rattachement à sa date, mais ne permet pas de savoir s’il existe encore aujourd’hui.

Implantations

  • Localisation de la structure de rattachement « Laboratoire lorrain de recherche en informatique et ses applications » : Université de Lorraine - Faculté des Sciences et Technologies - Campus Aiguillettes - BP 70239, 54506, Vandœuvre-lès-Nancy, France — Localisation à la commune (position approximative)

Explorer les liens

Parcourez les rattachements, les regroupements et les projets. Choisissez une entité pour explorer ses liens.

Bagrel Thomas
  • Rattachement documentéCentre Inria de l'Université de LorraineStructure fédérativeConsulter →
  • Rattachement documentéLaboratoire lorrain de recherche en informatique et ses applicationsLaboratoireConsulter →

Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.

Sources et actualisation

HAL

Fiche mise à jour
06/10/2026

Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.

Proposer une correction

Connectez-vous pour envoyer une proposition privée à l’administration.

Se connecter

Une erreur ou une précision à apporter ?

Votre commentaire suivra les règles habituelles de modération du site.

Ajouter un commentaire

Copyright 2026 - Les Cahiers de l'Innovation

Les Cahiers de l’innovation

Que souhaitez-vous explorer ?

Explorez les articles et les ressources des Cahiers.