{"id":51672,"date":"2020-03-13T12:00:26","date_gmt":"2020-03-13T12:00:26","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51672"},"modified":"2020-03-27T15:22:00","modified_gmt":"2020-03-27T15:22:00","slug":"hans-huttel-ixaris-malta","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/hans-huttel-ixaris-malta\/","title":{"rendered":"Hans Huttel @ Ixaris, Malta"},"content":{"rendered":"<p>&nbsp;<\/p>\n<p>As part of his secondment at Ixaris in Malta during the first week of February, Hans Huttel gave a talk titled &#8220;Typestate Inference for Mungo: Algorithm and<br \/>\nImplementation&#8221;\u00a0 to the employees of the same companies on some of his recent work.<\/p>\n<p>[<a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2020\/03\/presentation-hans.pdf\">Slides can be found here<\/a>]<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-51676\" src=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2020\/03\/hans-huttel-at-ixaris-300x225.jpeg\" alt=\"\" width=\"300\" height=\"225\" srcset=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2020\/03\/hans-huttel-at-ixaris-300x225.jpeg 300w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2020\/03\/hans-huttel-at-ixaris-768x576.jpeg 768w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2020\/03\/hans-huttel-at-ixaris-1024x768.jpeg 1024w, https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2020\/03\/hans-huttel-at-ixaris-750x563.jpeg 750w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; As part of his secondment at Ixaris in Malta during the first week of February, Hans Huttel gave a talk titled &#8220;Typestate Inference for Mungo: Algorithm and Implementation&#8221;\u00a0 to<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/hans-huttel-ixaris-malta\/\">Read More<\/a><\/div>\n","protected":false},"author":18,"featured_media":51674,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[36],"tags":[],"acf":[],"_links":{"self":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51672"}],"collection":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/users\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51672"}],"version-history":[{"count":4,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51672\/revisions"}],"predecessor-version":[{"id":51687,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51672\/revisions\/51687"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51674"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51672"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51672"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51672"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}