Giuseppe Castagna
Scholar

Giuseppe Castagna

Google Scholar ID: pBOv874AAAAJ
Directeur de Recherche CNRS, Université Paris Cité
Theoretical Computer ScienceProgramming LanguagesConcurrency TheoryType TheoryFunctional Programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6,051
 
H-index
40
 
i10-index
69
 
Publications
20
 
Co-authors
26
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
26 total
Co-author 1
Co-author 1
Michele Bugliesi
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Co-author 3
Co-author 3
Giorgio Ghelli
Giorgio Ghelli
Unknown affiliation
Benjamin C. Pierce
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Mariangiola Dezani-Ciancaglini
Mariangiola Dezani-Ciancaglini
Emeritus Professor of Computer Science, Torino University