{"id":4321,"date":"2014-05-18T17:10:43","date_gmt":"2014-05-18T15:10:43","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4321"},"modified":"2014-05-18T17:18:26","modified_gmt":"2014-05-18T15:18:26","slug":"lecturas-compartidas-del-10-al-17-de-mayo","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lecturas-compartidas-del-10-al-17-de-mayo\/","title":{"rendered":"Lecturas del Grupo de L\u00f3gica Computacional (del 10 al 17 de mayo)"},"content":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas esta semana (del 10 al 17 de mayo) en la lista de correo del <a href=\"https:\/\/www.glc.us.es\">Grupo de l\u00f3gica computacional<\/a><\/p>\n<p>La recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en <a href=\"https:\/\/twitter.com\/Jose_A_Alonso\">Twitter<\/a>. Al final de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.<\/p>\n<ul>\n<li><a href=\"http:\/\/bit.ly\/1nUCosA\">Verification of certifying computations through AutoCorres and Simpl<\/a>. L. Noschinski, C. Rizkallah &amp; K. Mehlhorn #Isabelle_HOL <\/li>\n<li><a href=\"http:\/\/bit.ly\/1d93HNK\">Formally verified computation of enclosures of solutions of ordinary differential equations<\/a>. F. Immler #Isabelle_HOL<\/li>\n<li><a href=\"http:\/\/bit.ly\/1oI8O8O\">M\u00e1ximos locales<\/a>. Exercitium #Haskell #I1M2013<\/li>\n<li><a href=\"http:\/\/bit.ly\/1nL0gAn\">Formalization of function matrix theory in HOL<\/a>. Zhiping Shi et als. #ITP #HOL4<\/li>\n<li><a href=\"\">Lista cuadrada<\/a>. Exercitium  #Haskell #I1M2013<\/li>\n<li><a href=\"http:\/\/bit.ly\/1mk9f9Q\">From type theory to Haskell in 10 minutes<\/a>. Matt Campbell #Logic #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1ixEHvE\">Dialogues for proof search<\/a>. J. Alama #Kuno #Lisp<\/li>\n<li><a href=\"http:\/\/stanford.io\/1gCaXhh\">Functional systems in Haskell<\/a>. D. Mazi\u00e8res, B. O&#8217;Sullivan &amp; D. Terei [Slides] #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1gCgx3m\">Segmentos maximales con elementos consecutivos.<\/a>. Exercitium #Haskell #I1M2013<\/li>\n<li><a href=\"http:\/\/bit.ly\/RyzzRQ\">Hipster: Integrating theory exploration in a proof assistant<\/a>. M. Johansson et als. #Isabelle_HOL #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1iNWTBh\">Valores de polinomios representados mediante vectores<\/a>. Exercitium #Haskell #I1M2013<\/li>\n<li><a href=\"http:\/\/bit.ly\/1jweopN\">Programming with arrows<\/a>. J. Hughes #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/1fTypf1\">Ramas de un \u00e1rbol<\/a>. Exercitium #Haskell #I1M2013<\/li>\n<li><a href=\"http:\/\/bit.ly\/1guc5ZZ\">Razonamiento sobre programas con Isabelle\/HOL<\/a>.   LMF2014 #Isabelle_HOL<\/li>\n<li><a href=\"http:\/\/bit.ly\/1lvNCzv\">Primitively (co)recursive definitions for Isabelle\/HOL<\/a>. L. Panny, J.C. Blanchette &amp; D. Traytel #Isabelle_HOL <\/li>\n<li><a href=\"http:\/\/bit.ly\/RJKWXc\">Thinking in types<\/a>. P. Brisbin #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/RJLqwt\">The algebra of algebraic data types<\/a>. C. Taylor #Haskell<\/li>\n<li><a href=\"http:\/\/bit.ly\/QTGfcJ\">Types, and two approaches to problem solving<\/a>. Dan Piponi #Haskell<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Esta entrada es una recopilaci\u00f3n de lecturas compartidas esta semana (del 10 al 17 de mayo) en la lista de correo del Grupo de l\u00f3gica computacional La recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en Twitter. Al final de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o a su&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[177,1],"tags":[178,292],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4321"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=4321"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4321\/revisions"}],"predecessor-version":[{"id":4324,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4321\/revisions\/4324"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4321"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4321"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4321"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}