Skip to content

History / Abstracts.2020.STLC&Subtyping

Revisions

  • Update Abstracts.2020.GF&Subtyping

    @bafain bafain committed Dec 11, 2020
    29d4084

  • Flesh out abstract for STLC+subtyping a bit and add notes.

    @sstucki sstucki committed Dec 10, 2020
    c0d42df

  • Updated Abstracts.2020.STLC&Subtyping (markdown)

    @bafain bafain committed Dec 10, 2020
    a7a63da

  • Create page for Sandro's abstract

    @bafain bafain committed Dec 10, 2020
    5fc62e1