Scholar
Orestis Melkonian
Google Scholar ID: KWbkseQAAAAJ
Input Output (IOG/IOHK)
programming languages
functional programming
dependent types
formal verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
321
H-index
9
i10-index
9
Publications
20
Co-authors
17
list available
Publications
1 items
Nominal techniques as an Agda library
2026
Cited
0
Co-authors
7 total
Philip Wadler
University of Edinburgh and IOHK/IOG
Wouter Swierstra
Universiteit Utrecht
Ori Lahav
Tel Aviv University
Anton Podkopaev
JetBrains Research, Constructor University Bremen
Jean-Philippe Bernardy
University of Gothenburg and Chalmers University of Technology
Angelos Charalambidis
Department of Informatics and Telematics, Harokopio University
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
