The readings shared in Mastodon on 21 November 2024 are

• Readings shared November 20, 2024. #ITP #Lean4 #Math #AI
• Lean4 and the Curry-Howard isomorphism. ~ Luis Wirth. #ITP #Lean4
• Repository for the conference "Lean For The Curious Mathematician 2024". #ITP #Lean4 #Math
• The denotational semantics of SSA. ~ Jad Elkhaleq Ghalayini, Neel Krishnaswami. #ITP #Lean4
• Tail modulo cons, OCaml, and relational separation logic. ~ Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer. #ITP #Coq #OCaml #FunctionalProgramming
• Scientific computing with confidence using typed dimensions. ~ Laurent P. René de Cotret. #Haskell #FunctionalProgramming
• The Haskell Unfolder Episode 36: Concurrency and the FFI. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
• The Prolog Trinity ecosystem (Extracts from the current manuscripts). ~ Torbjörn Lager. #Prolog #LogicProgramming
• Apuntes de programación lógica (Hasta Prolog y más allá). ~ Joaquín Arias. #Prolog #LogicProgramming