Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
Mon 16 Jan 2017 10:30 - 11:00 at Salle 109, Barre 44-54 - Programming languages Chair(s): Andrew Farmer

It is quite natural to define a software language as an extension of a base language. A compiler builder usually prefers to work on a representation in the base language, while programmers prefer to program in the extended language. As we define a language extension, we want to ensure that desugaring it into the base language is provably sound.

We present a lightweight approach to verifying soundness by embedding the base language and its extensions in Haskell. The embedding uses the final tagless style, encoding each language as a type class. As a result, combination and enhancement of language extensions are expressed in a natural way. Soundness of the language extension corresponds to well-typedness of the Haskell terms, so no extra tool but the compiler is needed.

Mon 16 Jan

pepm-workshop
10:30 - 12:00: PEPM 2017 - Programming languages at Salle 109, Barre 44-54
Chair(s): Andrew FarmerFacebook
pepm-workshop10:30 - 11:00
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
pepm-workshop11:00 - 11:30
Talk
Tsubasa MatsushitaShibaura Institute of Technology, Isao SasanoShibaura Institute of Technology
pepm-workshop11:30 - 12:00
Talk
Fritz HengleinDIKU, Denmark, Ulrik Terp RasmussenDIKU, University of Copenhagen