로드 중...
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
연간 인용횟수
중복된 서지정보
다음 학술 문서는 학술검색에서 병합되어 있습니다.
총 인용
횟수가 첫 번째 학술 문서에 대해서만 계산됩니다.
병합된 서지정보
이 '인용' 횟수는 학술검색의 다음 학술 문서에 대한 인용문을 포함합니다.
*
표시된 인용문은 프로필에 있는 학술 문서와 다를 수 있습니다.
공동 저자 추가
공동 저자
팔로우
이 저자의 새 학술자료
이 저자를 인용한 새 학술자료
이 저자의 연구와 관련된 새 학술자료
업데이트를 받을 이메일 주소
완료
내 프로필
내 서재
통계
알리미
설정
로그인
로그인
내 프로필 만들기
인용
전체
2019년 이후
서지정보
54
34
h-index
2
2
i10-index
1
1
0
14
7
2016
2017
2018
2019
2020
2021
2022
2023
2024
4
3
13
4
8
9
10
2
1
공동 저자
Richard A. Eisenberg
Jane Street
richarde.dev의 이메일 확인됨
Simon Peyton Jones
Epic Games
epicgames.com의 이메일 확인됨
팔로우
Gergő Érdi
소속을 알 수 없음
erdi.hu의 이메일 확인됨 -
홈페이지
학술자료
인용
공동 저자
제목
정렬
서지정보순 정렬
연도순 정렬
제목순 정렬
인용
인용
연도
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–6
더보기
개인정보처리방침
약관
도움말
학술검색 정보
검색 도움말