João Alpuim

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 4

Top Topics

Automated Deduction

Computer Algebra

Refinement Process

Information Hiding

Top Venues

Sci. Comput. Program.

Publications

João Alpuim, Wouter Swierstra
Embedding the refinement calculus in Coq. Sci. Comput. Program. 164 (2018)
João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi
Disjoint Polymorphism. ESOP (2017)
Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim
Disjoint intersection types. ICFP (2016)
Wouter Swierstra, João Alpuim
From Proposition to Program - Embedding the Refinement Calculus in Coq. FLOPS (2016)