Index of /papers/POPL2020/assets

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      player/                 2023-08-06 14:57    -   
      0FDD434C-61C8-4F17-A..> 2023-08-06 14:57    -   
      5A96F5D0-F0F4-4380-A..> 2023-08-06 14:57    -   
      4D7D5B47-3D2D-4D8B-A..> 2023-08-06 14:57    -   
      D73238DA-6E91-4D6C-8..> 2023-08-06 14:57    -   
      727A10E5-8BE6-4562-9..> 2023-08-06 14:57    -   
      9B61E0DD-93A9-43E2-A..> 2023-08-06 14:57    -   
      97C0D7D5-0538-4DE6-A..> 2023-08-06 14:57    -   
      184FA244-C71D-485F-8..> 2023-08-06 14:57    -   
      282CA7E4-6588-432B-B..> 2023-08-06 14:57    -   
      1DA64FF5-F922-4C27-8..> 2023-08-06 14:57    -   
      052AC24F-F9B9-47C7-B..> 2023-08-06 14:56    -   
      871BDE94-8B9F-4C2E-A..> 2023-08-06 14:56    -   
      42DEEB9D-A491-48E8-B..> 2023-08-06 14:56    -   
      F62D5E35-D5B4-443A-B..> 2023-08-06 14:56    -   
      9671B023-BD04-46C5-8..> 2023-08-06 14:56    -   
      D6682448-83ED-4CF7-8..> 2023-08-06 14:56    -   
      37D8D59F-6E5F-4B9D-A..> 2023-08-06 14:56    -   
      DFF943D3-BEAA-4379-A..> 2023-08-06 14:56    -   
      ADC198E0-1310-4234-B..> 2023-08-06 14:56    -   
      30EEEAAD-CB93-4EDA-A..> 2023-08-06 14:56    -   
      15E5A1A3-41F2-4787-8..> 2023-08-06 14:56    -   
      9160C2C1-2699-4C6D-9..> 2023-08-06 14:56    -   
      B005EF8C-3990-4031-8..> 2023-08-06 14:56    -   
      1BAD7B9E-867F-466B-B..> 2023-08-06 14:55    -   
      A77CD4D5-F510-46DA-9..> 2023-08-06 14:55    -   
      global/                 2023-08-06 14:06    -   
      thumbnail.jpeg          2023-08-06 13:57  7.5K  
      header.jsonp            2023-08-06 13:57  1.7K  
      header.json             2023-08-06 13:57  1.6K