Report copyright - Functors are Type Refinement Systemszeilbern/talks/POPL.2015.01.15.pdf · 15.01.2015 · Functors are Type Refinement Systems Paul-André Melliès1 Noam Zeilberger2 1CNRS, Université
Please pass captcha verification before submit form
Please pass captcha verification before submit form