Papers tagged dependent types Coq: The world’s best macro assembler? Liquid Types Programming and Reasoning with Algebraic Effects and Dependent Types Propositions as Types Browse All Keywords By Category
