Antonis Stampoulis

According to our database, Antonis Stampoulis authored at least 3 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam.

Antonis Stampoulis, Adam Chlipala

Proc. ACM Program. Lang., 2018

2012

Static and user-extensible proof checking.

Antonis Stampoulis, Zhong Shao

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

VeriML: typed computation of logical terms inside a language with effects.

Antonis Stampoulis, Zhong Shao

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010