Scholar
Giuseppe Castagna
Google Scholar ID: pBOv874AAAAJ
Directeur de Recherche CNRS, Université Paris Cité
Theoretical Computer Science
Programming Languages
Concurrency Theory
Type Theory
Functional Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,051
H-index
40
i10-index
69
Publications
20
Co-authors
26
list available
Publications
2 items
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
arXiv.org · 2024
Cited
1
Polymorphic Records for Dynamic Languages
arXiv.org · 2024
Cited
0
Co-authors
7 total
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Giorgio Ghelli
Unknown affiliation
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Mariangiola Dezani-Ciancaglini
Emeritus Professor of Computer Science, Torino University
Gary T. Leavens
Professor, University of Central Florida
Davide Ancona
Genova
Jeremy G. Siek
Professor of Computer Science, Indiana University
