Παρακολούθηση
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
272012
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