Comment by valw | Hacker News Reader

Top New Best Ask Show Jobs

Comment by valw | Hacker News Reader

Parent Full thread

You might be interested in the works of Gérard Huet! http://gallium.inria.fr/~huet/PUBLIC/FSCD16.pdf

Thanks. I know about Gérard Huet, but not about this particular publication.

Reply on news.ycombinator.com