Talks

Industry versus Academia? Learning and Teaching Programming

Keynote 1:04:00 Industry versus Academia? Learning and Teaching Programming

Francesco Cesarini , Simon Thompson

Dependent Types

Keynote 1:01:00 Dependent Types

Introducing Nx

Keynote 53:00 Introducing Nx

Keynote: Functorio - Having Fun with Functional Programming

Keynote 49:00 Keynote: Functorio - Having Fun with Functional Programming

Bartosz Milewski

Keynote: Writing Good Programs in Functional Languages

Keynote 54:00 Keynote: Writing Good Programs in Functional Languages

Perdita Stevens

Keynote: Excel Meets Lambda

Keynote 51:00 Keynote: Excel Meets Lambda

Simon Peyton Jones , Andy Gordon

Keynote: Hardware as Software

Keynote 1:05:00 Keynote: Hardware as Software

Keynote: Programming Languages in Agda = Programming Language Properties

Keynote 53:00 Keynote: Programming Languages in Agda = Programming Language Properties

Keynote: Humane Tech

Keynote 59:00 Keynote: Humane Tech

Karolina Iwańska , Kamil Grondys

Effective Programming in OCaml

Keynote 51:00 Effective Programming in OCaml

KC Sivaramakrishnan

Constructive Bidirectional Programming

Talk 48:00 Constructive Bidirectional Programming

Sound on BEAM: Music in the Land of Distributed Lisp

Talk 25:00 Sound on BEAM: Music in the Land of Distributed Lisp

Duncan McGreggor

Adventures in the Browser and Node.js without Writing JavaScript

Talk 38:00 Adventures in the Browser and Node.js without Writing JavaScript

Generating Programs from Types

Talk 50:00 Generating Programs from Types

Nadia Polikarpova

Multicloud Bindings from Web Pages

Talk 25:00 Multicloud Bindings from Web Pages

Michał J. Gajda

Dynamic Creation of Well Typed DSL Expressions

Talk 26:00 Dynamic Creation of Well Typed DSL Expressions

Fast XML/HTML for Haskell: XML TypeLift

Talk 28:00 Fast XML/HTML for Haskell: XML TypeLift

Michał J. Gajda

Building Full Stack Web Applications with Safe Stack

Talk 46:00 Building Full Stack Web Applications with Safe Stack

Functional Programming: the Glue for Introducing Computing through Data Science

Talk 47:00 Functional Programming: the Glue for Introducing Computing through Data Science

Secrets of Type Driven Program Synthesis

Talk 50:00 Secrets of Type Driven Program Synthesis

Correct-by-Construction Cryptographic Arithmetic in Coq

Talk 24:00 Correct-by-Construction Cryptographic Arithmetic in Coq

Dimensional Analysis for Multidimensional Dataflow Programming

Talk 30:00 Dimensional Analysis for Multidimensional Dataflow Programming

Curious Properties of Latency Distributions

Talk 28:00 Curious Properties of Latency Distributions

A UML Equivalent for Functional Programming

Talk 23:00 A UML Equivalent for Functional Programming

A Bricklayer Tech Report

Talk 29:00 A Bricklayer Tech Report

Translating Lambda Calculus into C++ Templates

Talk 27:00 Translating Lambda Calculus into C++ Templates

Reimplementing the Wheel: Teaching Compilers with a Twist

Talk 26:00 Reimplementing the Wheel: Teaching Compilers with a Twist

Dmitry Boulytchev

Teaching Automated Reasoning and Formally Verified Software

Talk 25:00 Teaching Automated Reasoning and Formally Verified Software

Jørgen Villadsen

Toward Automated Feedback in HtDP-based Programming: A DSL Approach

Talk 25:00 Toward Automated Feedback in HtDP-based Programming: A DSL Approach

A Generic Back End for Exploratory Programming

Talk 27:00 A Generic Back End for Exploratory Programming

JIT for Dynamic Programming Languages Considered Easy

Talk 21:00 JIT for Dynamic Programming Languages Considered Easy

Asynchronous Shared Data Sources

Talk 25:00 Asynchronous Shared Data Sources

Teaching Programming to Novices Using the codeBoot Environment

Talk 26:00 Teaching Programming to Novices Using the codeBoot Environment

Olivier Melançon

Program Equivalence in Sequential Core Erlang

Talk 25:00 Program Equivalence in Sequential Core Erlang

Péter Bereczky , Dániel Horpácsi

From FP to OO in the Classroom

Talk 28:00 From FP to OO in the Classroom