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

nool2016
13:30 - 15:10: NOOL - Typing and Transpilation at Luzern
Chair(s): Tobias WrigstadUppsala University
nool201613:30 - 14:05
Talk
Tijs van der StormCWI & University of Groningen
Pre-print
nool201614:05 - 14:40
Talk
Benjamin ChungCarnegie Mellon University, Paley LiNortheastern University, Jan VitekNortheastern University
Pre-print
nool201614:40 - 15:15
Talk
Ole Lehrmann MadsenAarhus University & The Alexandra Institute, Birger Møller-PedersenUniversity of Oslo
Pre-print