Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
ICFP 2016 (series) / ML 2016 (series) / ML /

SML# with Natural Join

Tomohiro Sasaki, Katsuhiro Ueno, Atsushi Ohori
ML 2016
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.

http://www.mlworkshop.org/2016-4.pdf
small-avatar
Tomohiro Sasaki
Tohoku University
Katsuhiro Ueno
Katsuhiro Ueno
Tohoku University, Japan
Atsushi Ohori
Atsushi Ohori
Tohoku University, Japan

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

11:45 - 12:25
ImplementationML at Conference Room 1
Chair(s): Didier Rémy INRIA
11:45
25m
Talk
Compiling with Continuations and LLVM
ML
Kavon Farvardin University of Chicago, John Reppy University of Chicago
Pre-print
12:10
15m
Talk
SML# with Natural Join
ML
Tomohiro Sasaki Tohoku University, Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, Japan
Pre-print