[Process] Type=Edit file Engine=MediaWiki Script=http://www.lps.ens.fr/~krauth/index.php Server=http://www.lps.ens.fr Path=/~krauth Special namespace=Special [File] Extension=pdf URL=http://www.lps.ens.fr/%7Ekrauth/images/5/58/TD08_ICFP_2019.pdf