Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 17:00 - 17:30 at Sala IV - PADL Session 2

The type class system in the Haskell Programming language provides a useful abstraction for a wide range of types, such as those that support comparison, serialization, ordering, between others. This system can be extended by the programmer by providing custom instances to one’s custom types. Yet, this is often a monotonous task. Some notions, such as equality, are very regular regardless if it is being encoded for a ground type or a type constructor.

In this paper we present a technique that unifies the treatment of ground types and type constructors whenever possible. This reduces code duplication and improves consistency. We discuss the encoding of several classes in this form, including the generic programming facility in GHC.

Slides (slides.pdf)395KiB

Mon 14 Jan

Displayed time zone: Belfast change

16:00 - 17:30
PADL Session 2PADL at Sala IV
16:00
30m
Talk
Faster Coroutine Pipelines: A Reconstruction
PADL
16:30
30m
Talk
Distributed Protocol Combinators
PADL
Kristoffer Just Arndal Andersen Aarhus University, Ilya Sergey Yale-NUS College and National University of Singapore
Pre-print
17:00
30m
Talk
Classes of Arbitrary Kind
PADL
Alejandro Serrano Utrecht University, Netherlands, Victor Cacciari Miraldo Utrecht University, Netherlands
Link to publication DOI File Attached