3 ms·
You might be interested in the works of Gérard Huet! http://gallium.inria.fr/~huet/PUBLIC/FSCD16.pdf http://gallium.inria.fr/~huet/PUBLIC/FSCD16.pdf
by valw 7y ago
You might be interested in the works of Gérard Huet! http://gallium.inria.fr/~huet/PUBLIC/FSCD16.pdf http://gallium.inria.fr/~huet/PUBLIC/FSCD16.pdf
- nextos 7y agoThanks. I know about Gérard Huet, but not about this particular publication.