-
Java EE: Ah, Ah, Ah, Ah! Stayin Alive!
Featuring Peter Pilgrim
There are multiple ways to get into Java software engineering. Many people will have heard of Java EE. They might be aware of the history of enterprise Java computing, some will know about the origins of Java EE, its controversial past, but also the surprising imaginative concepts of this...
java functional javaee -
Make Your Diversity Count
Featuring Shola Mos-Shogbamimu
We all know diversity matters and should be a commercial imperative in every industry. It's time to stop talking and start doing. In the critical era of technological advancement, its time for Women to take their rightful place amongst Technology giants and demand (not ask) for the same...
discovery women-in-tech women-in-stem diversity-matters agility diversity -
Technologies to Drive Gender Equality
Featuring Jillian Kowalchuk
Jillian Kowalchuk will describe her journey through her challenges and unique opportunities as a woman in tech in building her start up, Safe & The City. Safe & The City is a free navigation app which crowdsources routes people feel safer walking and detects trends of sexual harassment to...
discovery personal-development professional-development gender-diversity women-who-code women-in-tech diversity -
Keynote: Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language
Featuring Simon Peyton Jones
Linear type systems are more often talked about than used. I have long thought that we should be able to use linearity to improve the expressiveness and efficiency of functional programming languages, especially Haskell. But I always got lost in a deep swamp of exclamation marks and upside down...
ghc functional-programming linear-type-systems keynote haskellx haskell -
Keynote: Liquid Haskell: Theorem Proving for All
Featuring Niki Vazou
Formal verification has been gaining the attention and resources of both the academic and the industrial world since it prevents critical software bugs that cost money, energy, time, and even lives. Yet, software development and formal verification are decoupled, requiring verification experts to...
keynote haskellx haskell -
Keynote: How to Deploy your Haskell Code Hundreds of Times a Day
Featuring Simon Marlow
Facebook's Sigma system is a Haskell platform used by many different teams, mainly (but not exclusively) for fighting abuse on Facebook. One of Sigma's key features is that code committed to its repository automatically gets deployed to the running servers.
keynote sigma-system haskellx haskell -
Supermonads: One Notion to Bind Them All
Featuring Henrik Nilsson
Several popular generalizations of monads have been implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class and versions of associated library functions....
haskell monads ghc type-constructors supermonads -
A Formal Approach to Distributed Systems: Implementing a Pi-calculus interpreter in Haskell
Featuring Thomas Dietert
As distributed-systems became more prevalent in the late 20th century, many computer scientists began to think of calculi that could represent the complex interaction of computer processes, both local and remote. It quickly became apparent that the lambda calculus could not adequately represent...
haskell dsl parallel-computing pi-calculus formal-methods distributed-systems -
Binding Types à la carte
Featuring Arnaud Spiwack
Imagine you want to write a data type for an abstract syntax tree with binders. You get started, write a function for substitution. Get lost in the renaming story.
haskell quantified-constraints category-theory algebraic-data-types binders abstract-syntax-trees -
A Well-Typed Binomial Heap
Featuring Jasper Van der Jeugt
Most people are familiar with the hello world of dependently-typed Haskell: a vector that is annotated with the Peano number represenation of its size. This talk introduces a similar way to deal with binomial heaps.
typefamilies datastructures haskell dependent
