Blogs (61) >>
Wed 18 Jul 2018 16:00 - 16:30 at Bangkok - Session #3 Chair(s): Hila Peleg

The ability to write ‘closed’ frameworks in terms of abstract supertypes and subsequently extend them via contractually-conforming subtypes is a ubiquitous programming paradigm (e.g. underpinning Object-Orientation). While the motivation for such abstraction is to insulate against requirements change, any change of contract requires extensive (typically manual) refactoring, potentially throughout the entire class hierarchy. As an alternative to defining such abstractions a priori, we describe the broad role that Machine Learning can play in inducing abstractions from a pre-existing codebase. Concrete examples are given in which contacts are enforced by dependent types in the Idris language.

Wed 18 Jul

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

16:00 - 18:00
Session #3ML4PL at Bangkok
Chair(s): Hila Peleg Technion, Israel
16:00
30m
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry Swan University of York, Colin Johnson University of Kent, Edwin Brady University of St. Andrews, UK
16:30
30m
Talk
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
ML4PL
Artem Pelenitsyn Czech Technical University in Prague
17:00
30m
Meeting
Open Forum
ML4PL