pldb wrapped

ALAndrea Laretto

1 papers

cited 0×

cites 4

Deepest dig

Type theory in type theory using quotient inductive types

POPL 2016

Lamport number6

1. ALyou
2. NVNiccolò Veltri
3. REMRasmus Ejlers Møgelberg
4. LBLars Birkedal
5. JGMJ. Gregory Morrisett
6. FBSFred B. Schneider
7. LLLeslie Lamport

Load-bearing co-author: Niccolò Veltri. Without them: 7.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.