** June 3, 2015 ** 8.15 - 9.20 Registration 9.20 - 9.30 Welcoming 9.30 - 10.30 Invited Talk Engineering mathematics: the odd order theorem proof Laurence Rideau 10.30 - 10.50 Coffee break 10.50 - 12.30 Session 1, chair Daan Leijen 1. Safety first: targeting embedded systems with full spectrum dependent types Christopher Schwaab, Markus Pfeiffer and Edwin Brady. 2. Type Class Instances for Type-Level Lambdas in Haskell Thijs Alkemade and Johan Jeuring 3. The Brave New World of Haskell Type Classes Frantisek Farka. 4. Hygame: Teaching Haskell Using Games (talk) Zachi Baharav and David Gladstein 12.30 - 14.00 Lunch 14.00 - 15.20 Session 2, chair Marc Feeley 1. Cross-platform Compilers for Functional Languages Edwin Brady 2. The Utrecht Agda Compiler (talk) Philipp Hausmann, Atze Dijkstra and Wouter Swierstra 3. Costing and Transforming JIT Traces for Adaptive Parallelism (talk) John Magnus Morton, Patrick Maier and Phil Trinde 15.20 - 15.40 Coffee break 15.40 - 16.40 Session 3, chair Edwin Brady 1. A light-weight implementation of sized types for a functional hardware description language Jocelyn Sérot 2. A Shallow Embedded Type Safe Extendable DSL for the Arduino (talk) Pieter Koopman and Rinus Plasmeijer 3. Efficient Monadic Streams (talk) Josef Svenningsson, Emil Axelsson, Anders Persson and Peter A. Jonsson 16.40 - 16.50 break 16.50 - 17.50 Session 4, chair Thomas Gazagnaire 1. Feedback Upon Feedback Alejandro Serrano and Jurriaan Hage 2. Programmable Signatures Anders Persson and Emil Axelsson 3. IMP with exceptions over decorated logic (talk) Burak Ekici 17.50 - 18.00 Tutorial Dart, part a (instructions) Florian Loitsch ** June 4, 2015 ** 9.00 - 10.20 Session 5, Chair Marko van Eekelen 1. Introducing Parallelism to Erlang Programs by Breaking Dependencies Adam Barwell, Christopher Brown and Kevin Hammond 2. Proving Soundness of Refactorings to Introduce Parallel Skeletons in Erlang Christopher Brown, Vladimir Janjic, Adam Barwell and Kevin Hammond 3. Surface Effects for Deterministic Parallelism (talk) Vitor Rodrigues and Matthew Fluet 4. Decomposing Schedules of Recursive Programs Nikita Frolov. 10.20 - 10.50 Coffee break 10.50 - 12.30 Tutorial Dart, part b (primer) (instructions) Florian Loitsch 12.30 - 14.00 Lunch 14.00 - 22.00 Social event, Visiting Nice + Dinner ** June 5, 2015 ** 9.00 - 10.15 Tutorial Dart, part c (research and open questions) Florian Loitsch 10.00 - 10.30 Coffee break 10.30 - 11.30 Session 6, chair Michel Mauny 1. A Comparison of Task Oriented Programming with GUIs in Functional Language (talk) Peter Achten, Jurriën Stutterheim and Rinus Plasmeijer 2. Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming Baltasar Trancón Y Widemann and Markus Lepper 3. Persistent Asynchronous Adaptive Specialization for Generic Array Programming Clemens Grelck and Heinrich Wiesinger 11.30 - 11.45 Break 11.45 - 12.45 Session 7, chair Lars-Ake Fredlund 1. C Preprocessor Macros from Functional Programs Boldizsár Németh, Máté Karácsony, Zoltán Kelemen and Máté Tejfel. 2. Memory consumption analysis for a functional and imperative language Jérémie Salvucci and Emmmanuel Chailloux. 3. Towards a Theory of Reach Jonathan Fowler and Graham Hutton. 12.45 - 14.00 Lunch 14.00 - 15.00 Session 8, chair Sam Lindley 1. Termination Proofs for Recursive Functions in FoCaLiZe (talk) François Pessaux and Catherine Dubois. 2. Functional Testing of Java Programs (talk) Clara Benac Earle and Lars-Ake Fredlund. 3. Lightweight Higher-Order Rewriting in Haskell Emil Axelsson and Andrea Vezzosi 15.00 - 15.15 Closing 15.15 - 15.45 Coffee break 15.45 - 17.00 Visit of the virtual reality equipment
Privacy Overview
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.