Seguir
Gergő Érdi
Gergő Érdi
Afiliación desconocida
Dirección de correo verificada de erdi.hu - Página principal
Título
Citado por
Citado por
Año
Pattern synonyms
M Pickering, G Érdi, S Peyton Jones, RA Eisenberg
Proceedings of the 9th International Symposium on Haskell, 80-91, 2016
472016
Generic description of well-scoped, well-typed syntaxes
G Érdi
arXiv preprint arXiv:1804.00119, 2018
42018
An Adventure in Symbolic Execution
G Érdi
32nd Symposium on Implementation and Application of Functional Languages, 2020
12020
Pattern synonyms (extended version)
M Pickering, G Érdi, SP Jones, RA Eisenberg
12016
Compositional Type Checking
G Érdi
Master thesis, Eötvös Loránd University, 2011
12011
Conor McBride: The Derivative of a Regular Type is its Type of One-Hole Contexts
G Érdi
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6