Skip to content

History / Abstracts.2018.InternalizingVariance

Revisions

  • Add link to Martin Steffen's thesis.

    @sstucki sstucki committed Mar 6, 2019
    fa93b4b

  • Add link to coeffect references

    @sstucki sstucki committed Mar 6, 2019
    b844e40

  • Add links to Andreas' papers on polarized (sub)typing.

    @sstucki sstucki committed Mar 6, 2019
    2b6d58b

  • Add my abstract on internalizing variance

    @sstucki sstucki committed Feb 26, 2019
    4d6b641