Scholar

Orestis Melkonian

Google Scholar ID: KWbkseQAAAAJ

Input Output (IOG/IOHK)

programming languagesfunctional programmingdependent typesformal verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

321

H-index

9

i10-index

9

Publications

20

Co-authors

17

list available

Contact

No contact links provided.

Publications

1 items

Nominal techniques as an Agda library

2026

Cited

0

Resume (English only)

Co-authors

17 total

University of Edinburgh and IOHK/IOG

Wouter Swierstra

Universiteit Utrecht

Tel Aviv University