Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 12:10 - 12:25 at Conference Room 1 - Implementation Chair(s): Didier Rémy

This paper reports on the extension of SML# with natural join operator commonly used in database query. The extension is based on the database typing of Ohori and Buneman and an HM(X)-style constraint polymorphic typing. Based on this typing and type inference algorithm, the seamless SQL integration of SML# is extended with natural join. The extended SML# is available as a version 3.1.0-trial_join.

Thu 22 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

11:45 - 12:25: ML - Implementation at Conference Room 1
Chair(s): Didier RémyINRIA
mlfamilyworkshop-2016-papers11:45 - 12:10
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
mlfamilyworkshop-2016-papers12:10 - 12:25
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan