Index of /papers/POPL2022/CISL/assets/player

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      Acknowledgements.pdf    2023-08-06 14:52   65K  
      Help.png                2023-08-06 14:52   65K  
      KNTransitionSlide_Bl..> 2023-08-06 14:52  4.8K  
      KNTransitionSwoosh_S..> 2023-08-06 14:52  8.2K  
      close_hi@2x.png         2023-08-06 14:52  4.1K  
      close_n@2x.png          2023-08-06 14:52  4.3K  
      close_p@2x.png          2023-08-06 14:52  4.1K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:52  1.3K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:52  1.3K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:52  1.2K  
      left_arrow_mobile_d-..> 2023-08-06 14:52  1.8K  
      left_arrow_mobile_d.png 2023-08-06 14:52  736   
      left_arrow_mobile_n-..> 2023-08-06 14:52  1.9K  
      left_arrow_mobile_n.png 2023-08-06 14:52  821   
      main.js                 2023-08-06 14:52  479K  
      pdfjs/                  2023-08-06 15:40    -   
      right_arrow_mobile_d..> 2023-08-06 14:52  1.8K  
      right_arrow_mobile_d..> 2023-08-06 14:52  775   
      right_arrow_mobile_n..> 2023-08-06 14:52  1.8K  
      right_arrow_mobile_n..> 2023-08-06 14:52  837   
      spinner.png             2023-08-06 14:52   25K  
      styles.css              2023-08-06 14:52   13K  
      waiting_bezel.png       2023-08-06 14:52  1.4K