팔로우
Antonis Stampoulis
Antonis Stampoulis
Astartea Consulting LLC
astartea.consulting의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
522010
Static and user-extensible proof checking
A Stampoulis, Z Shao
ACM SIGPLAN Notices 47 (1), 273-284, 2012
282012
VeriML: A Dependently-Typed, User-Extensible and Language-Centric Approach to Proof Assistants
AM Stampoulis
Yale University, New Haven, CT, 2013
92013
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
32018
The Makam Metalanguage
A Stampoulis, A Chlipala
2014
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5