From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5F1FE7F0BA for ; Tue, 7 Feb 2017 11:04:51 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.220.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.220.181 as permitted sender) identity=mailfrom; client-ip=209.85.220.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f181.google.com) identity=helo; client-ip=209.85.220.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qk0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3As5dBfB2KXTU7hKCJsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seISKfad9pjvdHbS+e9qxAeQG96Kt7Qb2qGO7ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe7F/IRG5oQnNt8QdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpwRRT2lC?= =?us-ascii?q?kIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cWGFPXNteVzZZD428?= =?us-ascii?q?YYUBDPcPM/hEoITmu1sCsQGzCRWwCO/zyDJFgGL9060g0+QmFAHLxAguEMwUsH?= =?us-ascii?q?vKqdX0NLoZXuKvw6nMyTXDaOtW0ir65YnIaB8hpfWMXbVoccfKxkkvEhnKjlSU?= =?us-ascii?q?qYD/IzyV0eENvnGd4uF9W+yvjGsnpBtwojip3sosl4/Jhpkby1ze6yp23Zs1Kc?= =?us-ascii?q?eiR05mZ9OvDZhetzmCOodoXs8vR3tktSU6x7Ecp5K3YjQGxI46yxPcdvCKdZWD?= =?us-ascii?q?7Aj5W+aLOzh4gWpoeLKhiBa29kit0uj8WdO10FZOtyZFi9rMumwU2xzd98SKSe?= =?us-ascii?q?Zx8l2u2TaI0ADT5eVELl4umaXHLJ4hx6Y8lpsVsUvdAi/7gFv6gLOSe0k++eWl?= =?us-ascii?q?6/7rbqv4qpOALYN4lwLzPrk2lsy6G+s4MwwOX2aB+eS70b3u5U34T69Ojv0yla?= =?us-ascii?q?nZqIvXJcsepqGjAg9V1pwv5Aq4DzejyNgYh2UILEpZeBKbiIjkI03BL+r9Dfe7?= =?us-ascii?q?mlislDZrx+vaPrD6GZXMLn3DkK/7crpn6k5czhAzzdFF6J5OBLEBOur5WlXtu9?= =?us-ascii?q?zAEh85Lwu0zv76B9V60oMeWG2PDbGYMa7JsF6I5+cvLPKWZIAPojr9Kv4l5+Tv?= =?us-ascii?q?jXAjg1Mdc7OpjtMrbyWTF/Fia2GYemak1twIFGNPugslUMTrjkeDWHhdfSDhcb?= =?us-ascii?q?g742QZBZirCJaLd4mphLuZlHOqF5lSYXhuBVWFEHOufIKBDaRfIBmOK9Nsx2RX?= =?us-ascii?q?HYOqTJUsgFT37Ff3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CyAAB5mplYhrXcVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBg0g/gQkHg1GKCJsLjDqCDCqFeIJZBz8YAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCAsLCh0vgjMbAYJEHQEbGAUBAxIQDwImAiQBEQEFASKJbQEDFQ6idz+MAoIDB?= =?us-ascii?q?QEcgwkFg2IKGScNVYM1AQsBHQIGEnmSCoJfBZtrhmqLJIJOjjWRSBQegRUfgTY?= =?us-ascii?q?fEwgVFTwXhB4ggW1ANQEBAYkbAQEB?= X-IPAS-Result: =?us-ascii?q?A0CyAAB5mplYhrXcVdFdHAEBBAEBCgEBFwEBBAEBCgEBg0g?= =?us-ascii?q?/gQkHg1GKCJsLjDqCDCqFeIJZBz8YAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMbA?= =?us-ascii?q?YJEHQEbGAUBAxIQDwImAiQBEQEFASKJbQEDFQ6idz+MAoIDBQEcgwkFg2IKGSc?= =?us-ascii?q?NVYM1AQsBHQIGEnmSCoJfBZtrhmqLJIJOjjWRSBQegRUfgTYfEwgVFTwXhB4gg?= =?us-ascii?q?W1ANQEBAYkbAQEB?= X-IronPort-AV: E=Sophos;i="5.33,345,1477954800"; d="scan'208";a="212321740" Received: from mail-qk0-f181.google.com ([209.85.220.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Feb 2017 11:04:50 +0100 Received: by mail-qk0-f181.google.com with SMTP id s186so82736560qkb.1; Tue, 07 Feb 2017 02:04:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:cc; bh=BROjY0f90WqF/ozhOHgowuJvS/q2YrBQsdiuUCQIJmk=; b=ijAEaoeB3sWmGjk6Z0wWRdLzVr5W9BDnA+NNTewgcH5x5v2qT8LCX7lV6VwtmMXWJY YhqNwv7jOcWbqljyCm5DvqNvqeKBgBMFDFVP6sxxg6jGcVhEb/ZuDPqWXbAYOpiR4vWo OC/CToeWd+9ViyKZwDa4mn1Mn7GXnSLJwm3hS08fAWKceKdMAsJ3bzSxme0mkT8VI5Vv KDlW+c6EEkcQBecBv7LukSzRLCpHQld3yVhM/EXQTDDceZq8UE8ErBmt+2i26lq/mBKA HTpACxlHyIKAeSw0Kmkf/TPce5KT3iNMMFFsbntK6OBCgvKN9ajJuhnmpCRtiCZ4u/nx riCw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc; bh=BROjY0f90WqF/ozhOHgowuJvS/q2YrBQsdiuUCQIJmk=; b=CpTpV2DUBvTerAiI+mGxQtDkG06R/GgF2G5+cSa1HoWn/V2JH829EU63qky6aub556 uzeRWMvCcpVOWL9XIeqNji0t8MwVpmF+QT/tDFoqU6IPuWNH6FaI3xvAA2ZLIspYnywc PtIfLUPWvkPnuuuZCb5zRu0ZaXoMnZQGrZOh+gdAEK5F6k/0ueR/UDcub3i1lmm/NjdZ s5btk4/BvKkkAHfTqD6AuN7scSmSWti9hdN7HlCO7dmVdtp9OZ1EP+kED0wlAvtzUAnx w4NHc1xNj8hxLog5Yi0n36rItQPSbdlbES+nO3dIjJ8wCf85oTrbzTcJPeS/rtGiSKuy z/SQ== X-Gm-Message-State: AMke39k9kXNw41KtvSO7j9Ry181/y2ZmYr3/ShXRq5WcJCbzjI0LDg/WmXQ2EDN2Ksw8ZfBv3QYT57czjY6UMg== X-Received: by 10.55.92.198 with SMTP id q189mr9217261qkb.86.1486461888612; Tue, 07 Feb 2017 02:04:48 -0800 (PST) MIME-Version: 1.0 Received: by 10.55.88.194 with HTTP; Tue, 7 Feb 2017 02:04:48 -0800 (PST) From: Jeremy Yallop Date: Tue, 7 Feb 2017 10:04:48 +0000 Message-ID: To: Caml List Cc: Damien Doligez Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] 2015 ML & OCaml post-proceedings now available Readers of caml-list may be interested to know that the joint post-proceedings of the 2015 ML and OCaml workshops have now been published: http://eptcs.web.cse.unsw.edu.au/content.cgi?ML2015 Of the four papers in the volume, three are directly relevant to OCaml users: * Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing (Oleg Kiselyov) describes a translation from a MetaOCaml-style multi-staged language into a language without staging, with support for generating polymorphic-let expressions. * GADTs and Exhaustiveness: Looking for the Impossible (Jacques Garrigue and Jacques Le Normand) explores the difficulties with checking pattern-matching exhaustiveness for GADTs in the presence of abstract types. The paper includes details of the "refutation patterns" introduced in OCaml 4.03. * Specialization of Generic Array Accesses After Inlining (Ryohei Tokuda, Eijiro Sumii and Akinori Abe) describes an optimization in the OCaml compiler that extends the intermediate language with array type information to avoid runtime type dispatch. and the fourth falls within the broader area of ML-family languages: * Dependent Types for Multi-Rate Data Flows in Synchronous Programming (William Blair and Hongwei Xi) describes an implementation of the synchronous programming language Prelude using the type system of the ML-family language ATS. With kind regards, Damien Doligez Jeremy Yallop (editors)