Index of /papers/POPL2019/assets

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      03E27BA7-4C1B-44A5-8..> 2023-08-06 14:58    -   
      0495105B-F53E-4400-B..> 2023-08-06 14:58    -   
      051BEBF8-82B8-401A-A..> 2023-08-06 14:58    -   
      1B8430D2-29EF-462C-B..> 2023-08-06 14:59    -   
      1ECAC038-B87D-4FC8-B..> 2023-08-06 14:58    -   
      2629099E-F7CC-4E3F-8..> 2023-08-06 14:58    -   
      2EDC337A-FB90-4014-8..> 2023-08-06 14:58    -   
      4FBE5826-0E73-4C25-A..> 2023-08-06 14:58    -   
      8CD171FA-03CA-456A-9..> 2023-08-06 14:58    -   
      916D476B-B5A9-490B-8..> 2023-08-06 14:57    -   
      947C84CD-1D42-4900-B..> 2023-08-06 14:58    -   
      B88E61EF-E9BD-4B43-8..> 2023-08-06 14:58    -   
      BDF16EAD-FB63-445E-A..> 2023-08-06 14:58    -   
      D6A8086D-F97A-4EDF-9..> 2023-08-06 14:58    -   
      E0CC6F89-6E80-4E6C-9..> 2023-08-06 14:58    -   
      E80FCDE7-77FE-43D0-A..> 2023-08-06 14:58    -   
      FEE6F535-0184-4FE8-8..> 2023-08-06 14:58    -   
      global/                 2023-08-06 14:09    -   
      header.json             2023-08-06 13:57  1.8K  
      header.jsonp            2023-08-06 13:57  1.8K  
      player/                 2023-08-06 14:59    -   
      thumbnail.jpeg          2023-08-06 13:57  9.8K