Lecturas del Grupo de Lógica Computacional (del 15 al 29 de junio)
Esta entrada es una recopilación de lecturas compartidas las dos últimas semanas (del 15 al 19 de junio) en la lista de correo del grupo de lógica computacional
La recopilación está ordenada por la fecha de su publicación en Twitter. Al final de cada artículo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.
- Gibbs sampling in Haskell. ~ D. Steinitz #Haskell
- A Simpl shortest path checker verification. ~ C. Rizkallah. #Isabelle_HOL
- Category theory applied to functional programming. ~ J.P. Villa #Haskell
- SmartCheck: Redux. ~ Lee Pike #Haskell
- Abstracting an operational semantics to finite automata. ~ N. Baklanova, W. Ricciotti & M. Strecker #Isabelle_HOL
- Initial experiments with TPTP-style automated theorem provers on ACL2 problems. ~ S. Joosten et als. #ACL2
- Equivalence of the traditional and non-standard definitions of concepts from real analysis. ~ J. Cowles & R. Gamboa #ACL2
- Formal verification of Medina’s sequence of polynomials for approximating arctangent. ~ R. Gamboa & J. Cowles #ACL2
- An ACL2 mechanization of an axiomatic framework for weak memory. ~ B. Selfridge #ACL2
- Teaching software architecture using Haskell. ~ A. Serrano #Haskell
- Monad transformers for backtracking search. ~ J. Hedges #Haskell #Logic #SAT
- Lagrange’s four-square theorem. ~ Y. Watase #Mizar
- Solving the 15-Puzzle with Haskell and diagrams. ~ J. Rosenbluth #Haskel #AI #Diagrams
- Barely functional: Writing a real program in Haskell. ~ B. Kirwin #Haskell
- Experience report: The next 1100 Haskell programmers. ~ J.C. Blanchette #Haskell
- Developments in formal proofs. ~ T.C. Hales #Math #CompSci #ITP
- A verified decision procedure for MSO on words based on derivatives of regular expressions. ~ D. Traytel & T. Nipkow #AFP #Isabelle_HOL
- Lem: reusable engineering of real-world semantics. ~ D.P. Mulligan et als. #ITP #Coq #HOL4 #Isabelle
- The mathematics of secret sharing. ~ Jeremy Kun #Math #Haskell
- The list monad. ~ Bartosz Milewski | FP School of Haskell. #Haskell
- On the correctness of transactional memory algorithms. ~ M. Lesani #PhD_Thesis #PVS
- US intelligence agency wants brain-like algorithms for complex information processing. ~ M. Cooney @NWWlayer8 #AI
- Adding parallel Haskell to the undergraduate programming language course. ~ D.P. Bunde et als. #Haskell
- Teenage Haskell. ~ Tim Docker #Teaching #Haskell #Gloss
- “Si me equivoco en un algoritmo, ¿puedo terminar en la cárcel?”. ~ Mónica G. Salomone
- A generic numbering system based on Catalan families of combinatorial objects. ~ P. Tarau #Haskell
- Logic and computation. ~ B. Pientka #eBook #Logic #CompSci