Guido Martínez

Research Software Engineer II

Papiers de Collaboration

Afficher par:

- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
  
  Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
  
  2025 Programming Language Design and Implementation | June 2025
  
  Accepted for publication, to appear
  
  Author's Version Projet

- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
  
  Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
  
  2025 Programming Language Design and Implementation | June 2025
  
  Accepted for publication, to appear
  
  Author's Version Projet

- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
  
  Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
  
  2025 Programming Language Design and Implementation | June 2025
  
  Accepted for publication, to appear
  
  Author's Version Projet