Publication | Open Access

A theory of type polymorphism in programming

EngineeringAutomated ReasoningPolymorphism (Computer Science)Type TheoryDependently Typed ProgrammingFormal MethodsType PolymorphismComputer ScienceProgramming Languages