Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
53
33
h-index
2
2
i10-index
1
1
0
14
7
2016
2017
2018
2019
2020
2021
2022
2023
4
3
13
4
8
9
10
2
Medförfattare
Richard A. Eisenberg
Jane Street
Verifierad e-postadress på richarde.dev
Simon Peyton Jones
Epic Games
Verifierad e-postadress på epicgames.com
Följ
Gergő Érdi
Okänd anknytning
Verifierad e-postadress på erdi.hu -
Startsida
Artiklar
Citeras av
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
Conor McBride: The Derivative of a Regular Type is its Type of One-Hole Contexts
G Érdi
Compositional Type Checking
G Érdi
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen