Index of /ftp/meta-programming/sessions

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 flops2020-slides.pdf    2020-09-15 03:31  789K  
 description.pdf         2020-02-22 04:03  331K  
 ppl-poster.pdf          2019-03-08 06:21   90K  
 setypes.ml              2019-11-29 04:36   11K  
 canonical.ml            2019-09-09 12:08  8.2K  
 ex_loop.ml              2019-11-29 04:36  7.4K  
 ex_simple.ml            2019-11-29 03:26  7.3K  
 comm_basic.ml           2019-11-29 04:36  6.6K  
 comm_choice.ml          2019-11-29 09:19  6.5K  
 comm_loop.ml            2019-11-29 09:19  6.4K  
 stypes.ml               2019-03-06 23:20  6.2K  
 ex_choice.ml            2019-11-25 03:16  5.0K  
 stagedEDSL_ex.ml        2019-11-26 00:33  4.7K  
 lowcomm_fifo.ml         2019-11-10 06:37  4.0K  
 ex_deleg.ml             2019-11-13 08:10  3.2K  
 channel.ml              2019-11-28 09:46  3.2K  
 trep.ml                 2019-11-07 09:08  2.5K  
 comm_deleg.ml           2019-11-29 09:19  2.2K  
 setypes_loc.ml          2019-11-29 04:36  2.1K  
 0README.dr              2019-11-30 04:18  1.9K  
 Makefile                2019-11-29 04:36  1.8K  
 lowcomm_run.ml          2019-02-28 09:05  1.8K  
 loop.mli                2019-11-29 09:19  1.5K  
 ser_string.ml           2019-11-02 11:11  1.4K  
 common.ml               2019-11-28 09:46  1.2K  
 ex_arith.ml             2019-11-29 09:19  1.2K  
 comm.mli                2019-11-29 04:36  897   
 channel.mli             2019-11-28 09:46  877   
 loc.ml                  2019-11-29 03:26  825   
 lowcomm.mli             2019-11-10 06:52  787   
 typerep.ml              2019-02-23 09:08  407   
 lowcomm_fifo_sh.mli     2019-11-10 06:36  387   
 ex_error.ml             2019-11-28 09:46  384   
 choice.mli              2019-11-08 10:24  350   
 lowcomm.ml              2019-11-10 06:52  308   
 deleg.mli               2019-11-10 08:08  197   
 serializer.mli          2018-06-03 18:22  151