Lecturas compartidas el 7 de abril de 2024
#ITP #IsabelleHOL #FunctionalProgramming #Haskell
Buenos días
Las lecturas compartidas en Mastodon el 7 de abril de 2024 son
Lecturas compartidas el 6 de abril de 2024. #ITP #LeanProver #Coq #FunctionalProgramming #Haskell #Autoformalization #Math
A comprehensive specification and verification of the L4 microkernel API. ~ Leping Zhang, Yongwang Zhao, Jianxin Li. #ITP #IsabelleHOL
Towards trustworthy automated program verifiers: Formally validating translations into an intermediate verification language. ~ Gaurav Parthasarathy et als. #ITP #IsabelleHOL
Program synthesis from graded types. ~ Jack Hughes, Dominic Orchard. #Haskell #FunctionalProgramming
También están en GitHub.
Saludos, José A.
"Nada hay más terrible que una ignorancia activa." ~ Johann Wolfgang von Goethe (1749-1832).
