Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:mhmm: Making Haskell More Modular
Speaker:Scott Kilpatrick
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Thesis Proposal
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Thursday, 20 November 2014
Duration:60 Minutes
Building:E1 5
Module systems like that of Haskell permit only a weak form of
modularity in which module implementations directly depend on other
implementations and must be processed in dependency order. Module
systems like that of ML, on the other hand, permit a stronger form of
modularity in which explicit interfaces express assumptions about
dependencies, and each module can be typechecked and reasoned about

In this talk, I present Backpack, a new language for building
separately-typecheckable packages on top of a weak module system like
Haskell's. Not only does Backpack make Haskell a more modular
language, it establishes an entirely new direction for the design of
so-called package management systems: as typed module languages with
dependencies expressed via typed interfaces rather than names and
version ranges.
Name(s):Maria-Louise Albrecht
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:112
Meeting ID:
Tags, Category, Keywords and additional notes
Attachments, File(s):
  • Maria-Louise Albrecht, 11/19/2014 02:16 PM -- Created document.