Presentation for invited talk at ICNFP2017