Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Mon 31 Oct 2016 14:05 - 14:40 at Luzern - Typing and Transpilation Chair(s): Tobias Wrigstad

Julia is an untyped imperative programming language designed for scientific computing. Despite being untyped, Julia provides a rich runtime type system that includes features such as inheritance, but lacks the mechanisms to ensure compliance with interfaces. We propose a static type system for a subset of Julia, called Jolt, ruling out functional interface mismatches by synthesizing abstract interfaces from concrete implementations. Jolt can rule out some type errors in existing code without any new annotations, providing additional safety for free.

Mon 31 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Typing and TranspilationNOOL at Luzern
Chair(s): Tobias Wrigstad Uppsala University
13:30
35m
Talk
Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java
NOOL
Tijs van der Storm CWI & University of Groningen
Pre-print
14:05
35m
Talk
Static Typing Without Static Types - Typing Inheritance from the Bottom Up
NOOL
Benjamin Chung Carnegie Mellon University, Paley Li Northeastern University, Jan Vitek Northeastern University
Pre-print
14:40
35m
Talk
The Essence of Subclassing
NOOL
Ole Lehrmann Madsen Aarhus University & The Alexandra Institute, Birger Møller-Pedersen University of Oslo
Pre-print