Concepedia

Claudio Russo

CR

16

Publications

571

Citations

14

H-Index

2001

Active since

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

University of Edinburgh

Uppsala University

Max Planck Institute for Software Systems

Claudio Russo is an author at Microsoft Research (United Kingdom) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisComputer EngineeringAutomated ReasoningSoftware DesignFormal VerificationSoftware Engineering

Publications per year

2001–2020

16

Publications

16

Types for Modules

Claudio Russo · Electronic Notes in Theoretical Computer Science · 2004 · 67 citations · Full text

Engineering, Type Theory, Type Quantification +17

Mandatory provisioning of digital public services as a feasible service delivery strategy: Evidence from Italian local governments

Luca Tangi, Michele Benedetti, Luca Gastaldi et al. · Government Information Quarterly · 2020 · 58 citations · Full text

Public Policy, Technology, E-services +11

F-ing modules

Andreas Rossberg, Claudio Russo, Derek Dreyer · Journal of Functional Programming · 2014 · 50 citations · Full text

Engineering, Program Analysis, Polymorphism (Computer Science) +12

Andrew D. Gordon, Thore Graepel, Nicolas Rolland et al. · 2014 · 47 citations · Full text

Engineering, Machine Learning, Knowledge Extraction +16

Recursive structures for standard ML

Claudio Russo · ACM SIGPLAN Notices · 2012 · 45 citations

Mathematical Programming, Engineering, Machine Learning +24

Rows per page

1–5 of 16