Učitavanje...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Godišnji broj citata
Dvostruki navodi
Sljedeći su članci spojeni u Znalcu.
Navodi iz obaju
članaka broje se samo za prvi članak.
Spojeni navodi
Zbroj za "Citirano" uključuje navode sljedećeg članka u Znalcu. Oni koji su označeni znakom
*
mogu biti različiti od članka u profilu.
Dodavanje suautora
Suautori
Prati
Novi članci tog autora
Novi navodi tog autora
Novi članci povezani s istraživanjem tog autora
E-adresa za obavijesti
Završeno
Moj profil
Moja knjižnica
Mjerni podaci
Upozorenja
Postavke
Prijavite se
Prijavite se
Izradite svoj profil
Citirano
Sve
Od 2019.
Citati
54
34
H-indeks
2
2
i10-indeks
1
1
0
14
7
2016
2017
2018
2019
2020
2021
2022
2023
2024
4
3
13
4
8
9
10
2
1
Suautori
Richard A. Eisenberg
Jane Street
Potvrđena adresa e-pošte na richarde.dev
Simon Peyton Jones
Epic Games
Potvrđena adresa e-pošte na epicgames.com
Prati
Gergő Érdi
Nepoznata afilijacija
Potvrđena adresa e-pošte na erdi.hu -
Početna stranica
Članci
Citirano
Suautori
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
Citirano
Citirano
Godina
Pattern synonyms
M Pickering, G Érdi, S Peyton Jones, RA Eisenberg
Proceedings of the 9th International Symposium on Haskell, 80-91
, 2016
47
2016
Generic description of well-scoped, well-typed syntaxes
G Érdi
arXiv preprint arXiv:1804.00119
, 2018
4
2018
An Adventure in Symbolic Execution
G Érdi
32nd Symposium on Implementation and Application of Functional Languages
, 2020
1
2020
Pattern synonyms (extended version)
M Pickering, G Érdi, SP Jones, RA Eisenberg
1
2016
Compositional Type Checking
G Érdi
Master thesis, Eötvös Loránd University
, 2011
1
2011
Conor McBride: The Derivative of a Regular Type is its Type of One-Hole Contexts
G Érdi
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–6
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje