Follow
Antonis Stampoulis
Antonis Stampoulis
Astartea Consulting LLC
Verified email at astartea.consulting - Homepage
Title
Cited by
Cited by
Year
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
532010
Static and user-extensible proof checking
A Stampoulis, Z Shao
ACM SIGPLAN Notices 47 (1), 273-284, 2012
292012
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
The system can't perform the operation now. Try again later.
Articles 1–5