1. Parametricity, Quotient Types, and Theorem Transfer

    50:59

    from Galois Video Added 172 1 0

    abstract: A polymorphic function may be instantiated at many different types; if the function is parametrically polymorphic, then all of its instances must behave uniformly. Reynolds' parametricity

    + More details

    What are Tags?

    Tags

    Tags are keywords that describe videos. For example, a video of your Hawaiian vacation might be tagged with "Hawaii," "beach," "surfing," and "sunburn."