{"id":170698,"date":"2011-03-25T11:37:47","date_gmt":"2011-03-25T11:37:47","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/project\/the-f-project\/"},"modified":"2019-08-19T15:17:27","modified_gmt":"2019-08-19T22:17:27","slug":"the-f-project","status":"publish","type":"msr-project","link":"https:\/\/www.microsoft.com\/en-us\/research\/project\/the-f-project\/","title":{"rendered":"The F* Project"},"content":{"rendered":"<div class=\"asset-content\">F* is a verification-oriented dialect of ML. For more information, please visit <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/fstar-lang.org\">https:\/\/fstar-lang.org <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>or click on the logo below.<\/div>\n<p><!-- .asset-content --><\/p>\n<div id=\"en-usprojectsfstardefault\" class=\"page-content\"><span id=\"1f8c61e2-b791-47bc-bcff-d983630e5354\" class=\"ImageBlock fn\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/fstar-lang.org\/\"><img loading=\"lazy\" decoding=\"async\" id=\"Image1f8c61e2-b791-47bc-bcff-d983630e5354\" class=\"alignnone\" title=\"F*\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2016\/02\/fstar-fstar.png\" alt=\"F*\" width=\"359\" height=\"360\" \/><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"ImageCaption1f8c61e2-b791-47bc-bcff-d983630e5354\" class=\"ImageCaptionCoreCss ImageCaption\"><\/span><\/span><\/div>\n","protected":false},"excerpt":{"rendered":"<p>F* is a verification-oriented dialect of ML. For more information, please visit https:\/\/fstar-lang.org or click on the logo below.<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"research-area":[13560],"msr-locale":[268875],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-170698","msr-project","type-msr-project","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-locale-en_us","msr-archive-status-active"],"msr_project_start":"2011-03-25","related-publications":[162428,162637,163903,158549,164525,159077,380516,160435,160969,160974,161041,161413,161797],"related-downloads":[],"related-videos":[],"related-groups":[],"related-events":[],"related-opportunities":[],"related-posts":[],"related-articles":[],"tab-content":[],"slides":[],"related-researchers":[{"type":"user_nicename","display_name":"C\u00e9dric Fournet","user_id":31819,"people_section":"Group 1","alias":"fournet"},{"type":"user_nicename","display_name":"Nikhil Swamy","user_id":33138,"people_section":"Group 1","alias":"nswamy"},{"type":"user_nicename","display_name":"Santiago Zanella-B\u00e9guelin","user_id":33518,"people_section":"Group 1","alias":"santiago"}],"msr_research_lab":[],"msr_impact_theme":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/170698"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-project"}],"version-history":[{"count":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/170698\/revisions"}],"predecessor-version":[{"id":604371,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/170698\/revisions\/604371"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=170698"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=170698"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=170698"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=170698"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=170698"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}