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.

Conference Day
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 WrigstadUppsala University
13:30
35m
Talk
Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java
NOOL
Tijs van der StormCWI & University of Groningen
Pre-print
14:05
35m
Talk
Static Typing Without Static Types - Typing Inheritance from the Bottom Up
NOOL
Benjamin ChungCarnegie Mellon University, Paley LiNortheastern University, Jan VitekNortheastern University
Pre-print
14:40
35m
Talk
The Essence of Subclassing
NOOL
Ole Lehrmann MadsenAarhus University & The Alexandra Institute, Birger Møller-PedersenUniversity of Oslo
Pre-print