[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/3/32/TD05_ICFP_2019.pdf