M

Martin Rinard

National University of Singapore

ORCID: 0000-0001-8095-8523

485 papers and 17.2k citations.

PubIndex Score98Top 2%How it's scored
🌟#4 Current Senior Leader in Logic, programming, and type systems
485Publications
17.2kTotal Citations
#4in Logic, programming, and type systems
First publication: 1984First senior author: 1990

Top publicationsby citations

Indexing the rest of 485 publications…