João Alpuim

According to our database, João Alpuim authored at least 4 papers between 2016 and 2018.

Collaborative distances:

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

2018

Embedding the refinement calculus in Coq.

João Alpuim, Wouter Swierstra

Sci. Comput. Program., 2018

2017

Disjoint Polymorphism.

João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi

Proceedings of the Programming Languages and Systems, 2017

2016

Disjoint intersection types.

Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

From Proposition to Program - Embedding the Refinement Calculus in Coq.

Wouter Swierstra, João Alpuim

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016