{"id":244,"date":"2013-06-21T10:55:18","date_gmt":"2013-06-21T08:55:18","guid":{"rendered":"https:\/\/project.inria.fr\/se-seminars\/?p=244"},"modified":"2013-06-21T10:55:18","modified_gmt":"2013-06-21T08:55:18","slug":"francais-les-definitions-inductives-les-programmes-recursives-les-continuations-et-levaluation-partielle","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/se-seminars\/fr\/francais-les-definitions-inductives-les-programmes-recursives-les-continuations-et-levaluation-partielle\/","title":{"rendered":"Les d\u00e9finitions inductives, les programmes r\u00e9cursives, les continuations, et l&rsquo;\u00e9valuation partielle"},"content":{"rendered":"<p>When: Thursday, 20th June, 10h-11h30<br \/>\nWhere: B31, Inria Building B<br \/>\nWho: Olivier Danvy<\/p>\n<p>Les d\u00e9finitions inductives, les programmes r\u00e9cursifs, les continuations, et l&rsquo;\u00e9valuation partielle<\/p>\n<p>R\u00e9sum\u00e9:<\/p>\n<p>Les structures de donn\u00e9es sont typiquement d\u00e9crites de fa\u00e7on inductive.<br \/>\nLes programmes qui les traversent sont typiquement \u00e9crits de fa\u00e7on<br \/>\nr\u00e9cursive, en suivant leur structure. \u00a0Les continuations permettent de<br \/>\ntraverser les donn\u00e9es sans suivre forc\u00e9ment leur structure.<br \/>\nL&rsquo;\u00e9valuation partielle permet d&rsquo;exploiter le fait que les donn\u00e9es, en<br \/>\ntout ou en partie, ne sont pas disponibles au m\u00eame moment.<br \/>\nLe but de cet expos\u00e9 est d&rsquo;illustrer ces concepts et leur utilit\u00e9.<\/p>","protected":false},"excerpt":{"rendered":"<p>When: Thursday, 20th June, 10h-11h30 Where: B31, Inria Building B Who: Olivier Danvy Les d\u00e9finitions inductives, les programmes r\u00e9cursifs, les continuations, et l&rsquo;\u00e9valuation partielle R\u00e9sum\u00e9: Les structures de donn\u00e9es sont typiquement d\u00e9crites de fa\u00e7on inductive. Les programmes qui les traversent sont typiquement \u00e9crits de fa\u00e7on r\u00e9cursive, en suivant leur structure. \u00a0Les continuations permettent de traverser &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/project.inria.fr\/se-seminars\/fr\/francais-les-definitions-inductives-les-programmes-recursives-les-continuations-et-levaluation-partielle\/\">Lire la suite<\/a><\/p>\n","protected":false},"author":260,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-244","post","type-post","status-publish","format-standard","hentry","category-talk","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/posts\/244","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/users\/260"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/comments?post=244"}],"version-history":[{"count":0,"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/posts\/244\/revisions"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/media?parent=244"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/categories?post=244"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/se-seminars\/fr\/wp-json\/wp\/v2\/tags?post=244"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}