로드 중...
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
연간 인용횟수
중복된 서지정보
다음 학술 문서는 학술검색에서 병합되어 있습니다.
총 인용
횟수가 첫 번째 학술 문서에 대해서만 계산됩니다.
병합된 서지정보
이 '인용' 횟수는 학술검색의 다음 학술 문서에 대한 인용문을 포함합니다.
*
표시된 인용문은 프로필에 있는 학술 문서와 다를 수 있습니다.
공동 저자 추가
공동 저자
팔로우
이 저자의 새 학술자료
이 저자를 인용한 새 학술자료
이 저자의 연구와 관련된 새 학술자료
업데이트를 받을 이메일 주소
완료
내 프로필
내 서재
통계
알리미
설정
로그인
로그인
내 프로필 만들기
인용
모두 보기
전체
2019년 이후
서지정보
92
27
h-index
3
3
i10-index
2
1
0
20
10
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
1
3
9
20
8
8
7
4
5
9
3
8
4
2
1
공개 액세스
모두 보기
모두 보기
자료 1개
자료 0개
공개
비공개
재정 지원 요구사항 기준
팔로우
Antonis Stampoulis
Astartea Consulting LLC
astartea.consulting의 이메일 확인됨 -
홈페이지
Programming Languages
Software Verification
Proof Assistants
Type Theory
학술자료
인용
공개 액세스
제목
정렬
서지정보순 정렬
연도순 정렬
제목순 정렬
인용
인용
연도
VeriML: typed computation of logical terms inside a language with effects
A Stampoulis, Z Shao
International Conference on Functional Programming (ICFP 2010) 45 (9), 333-344
, 2010
52
2010
Static and user-extensible proof checking
A Stampoulis, Z Shao
ACM SIGPLAN Notices 47 (1), 273-284
, 2012
28
2012
VeriML: A Dependently-Typed, User-Extensible and Language-Centric Approach to Proof Assistants
AM Stampoulis
Yale University, New Haven, CT
, 2013
9
2013
Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam
A Stampoulis, A Chlipala
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30
, 2018
3
2018
The Makam Metalanguage
A Stampoulis, A Chlipala
2014
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5
더보기
개인정보처리방침
약관
도움말
학술검색 정보
검색 도움말