Scholar

Danielle Marshall

Google Scholar ID: 2nWmN2EAAAAJ

Research Associate, University of Glasgow

programming languagescategory theorymathematical logic

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

72

H-index

4

i10-index

3

Publications

8

Co-authors

4

list available

Contact

No contact links provided.

Publications

1 items

Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types

2026

Cited

0

Resume (English only)

Co-authors

4 total

Dominic Orchard

School of Computing, University of Kent and Computer Laboratory, University of Cambridge

Michael Vollmer

University of Kent

Research Associate, University of Kent