José A. Alonso · @Jose_A_Alonso
751 followers · 1413 posts · Server mathstodon.xyzPureCake: A verified compiler for a lazy functional language. ~ Hrutvik Kanabar et als. https://dl.acm.org/doi/pdf/10.1145/3591259 #ITP #HOL4
Last updated 2 years ago
José A. Alonso · @Jose_A_Alonso
523 followers · 402 posts · Server mathstodon.xyzA verified theorem prover for higher-order logic. ~ Oskar Abrahamsson. https://research.chalmers.se/publication/532951/file/532951_Fulltext.pdf #PhDThesis #ITP #HOL4
Last updated 2 years ago