Backpack : towards practical mix-in linking in Haskell
Abstract/Contents
- Abstract
- In this thesis, we describe an evolution of the Backpack mixin package system which respects the division between package manager and compiler in the Haskell ecosystem: Backpack'17. Programs written in Backpack'17 are processed in two phases: first, a mixin linking phase which computes a "wiring diagram'' of components indifferent to the actual Haskell source code, and then a typechecking phase on the output of mixin linking which processes Haskell source. This is not merely a paper design: our architecture was principally motivated by our experiences implementing Backpack'17 in the GHC compiler and the Cabal package system.
Description
| Type of resource | text |
|---|---|
| Form | electronic; electronic resource; remote |
| Extent | 1 online resource. |
| Publication date | 2017 |
| Issuance | monographic |
| Language | English |
Creators/Contributors
| Associated with | Yang, Edward Zelin |
|---|---|
| Associated with | Stanford University, Computer Science Department. |
| Primary advisor | Mazières, David (David Folkman), 1972- |
| Thesis advisor | Mazières, David (David Folkman), 1972- |
| Thesis advisor | Dreyer, Derek, 1980- |
| Thesis advisor | Mitchell, John |
| Advisor | Dreyer, Derek, 1980- |
| Advisor | Mitchell, John |
Subjects
| Genre | Theses |
|---|
Bibliographic information
| Statement of responsibility | Edward Zelin Yang. |
|---|---|
| Note | Submitted to the Department of Computer Science. |
| Thesis | Thesis (Ph.D.)--Stanford University, 2017. |
| Location | electronic resource |
Access conditions
- Copyright
- © 2017 by Edward Zelin Yang
- License
- This work is licensed under a Creative Commons Attribution Share Alike 3.0 Unported license (CC BY-SA).
Also listed in
Loading usage metrics...