Statistics
Publications
23
Citations
738
H-Index
17
Active since
2001
Riccardo Pucella is an author at Cornell University specializing in computer science, computing, and programming languages.
Publications per year
2001–2014
23
23
Haskell session types with (almost) no class
Riccardo Pucella, Jesse A. Tov · 2008 · 97 citations
A logic for reasoning about digital rights
Riccardo Pucella, Vicky Weissman · 2003 · 62 citations
Jesse A. Tov, Riccardo Pucella · 2011 · 60 citations
Jesse A. Tov, Riccardo Pucella · ACM SIGPLAN Notices · 2011 · 56 citations
1–5 of 23