Commit c81f3bc6 authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Remove obsolete Backpack manual.


Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
parent 8e9ad240
*.aux
*.bak
*.bbl
*.blg
*.dvi
*.fdb_latexmk
*.fls
*.log
*.synctex.gz
*.out
*.toc
backpack-impl.pdf
all: backpack-impl.pdf backpack-manual.pdf algorithm.pdf
backpack-impl.pdf: backpack-impl.tex
latexmk -pdf -latexoption=-halt-on-error -latexoption=-file-line-error -latexoption=-synctex=1 backpack-impl.tex || ! rm -f $@
backpack-manual.pdf: backpack-manual.tex
latexmk -pdf -latexoption=-halt-on-error -latexoption=-file-line-error -latexoption=-synctex=1 backpack-manual.tex || ! rm -f $@
algorithm.pdf: algorithm.tex
latexmk -pdf -latexoption=-halt-on-error -latexoption=-file-line-error -latexoption=-synctex=1 algorithm.tex || ! rm -f $@
This diff is collapsed.
@inproceedings{Kilpatrick:2014:BRH:2535838.2535884,
author = {Kilpatrick, Scott and Dreyer, Derek and Peyton Jones, Simon and Marlow, Simon},
title = {Backpack: Retrofitting Haskell with Interfaces},
booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
series = {POPL '14},
year = {2014},
isbn = {978-1-4503-2544-8},
location = {San Diego, California, USA},
pages = {19--31},
numpages = {13},
url = {http://doi.acm.org/10.1145/2535838.2535884},
doi = {10.1145/2535838.2535884},
acmid = {2535884},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {applicative instantiation, haskell modules, mixin modules, module systems, packages, recursive modules, separate modular development, type systems},
}
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
%% hide the full syntax of shapes/types for the paper
\newcommand{\fullmsh}[3]{\aoxb{#1 ~\mtypsep~ #2 ~\mtypsep~ #3}}
\newcommand{\fullmtyp}[3]{
\aoxb{\mtypsepsp #1 \mtypsepsp\mtypsep\mtypsepsp
#2 \mtypsepsp\mtypsep\mtypsepsp
#3 \mtypsepsp}}
\newcommand{\fullbigmtyp}[3]{\ensuremath{
\left\langle\!\vrule \begin{array}{l}
#1 ~\mtypsep \\[0pt]
#2 ~\mtypsep \\
#3
\end{array} \vrule\!\right\rangle
}}
\renewcommand{\msh}[2]{\aoxb{#1 \mtypsepsp\mtypsep\mtypsepsp #2}}
\renewcommand{\mtyp}[2]{
\aoxb{#1 ~\mtypsep~ #2}}
\newcommand{\mtypstretch}[2]{
\left\langle\!\vrule
\mtypsepsp #1 \mtypsepsp\mtypsep\mtypsepsp #2 \mtypsepsp
\vrule\!\right\rangle
}
\renewcommand{\bigmtyp}[2]{\ensuremath{
\left\langle\!\vrule \begin{array}{l}
#1 ~\mtypsep \\[0pt] #2
\end{array} \vrule\!\right\rangle
}}
%% change syntax of signatures
\renewcommand{\Esig}[1]{\ensuremath{\,[#1]}}
\renewcommandx*{\JBVSh}[3][1=\Delta, usedefault=@]%
{#1 \vdashsh #2 \Rightarrow #3}
% JUDGMENTS
\renewcommandx*{\JBTypElab}[6][1=\Delta, 2=\Gamma, 3=\shctx, usedefault=@]%
% {\JBTyp[#1][#2][#3]{#4}{#5} \elabto #6}
{\JBTyp[#1][#2][#3]{#4}{#5} \;\shade{\elabto #6}}
\renewcommandx*{\JBVTypElab}[5][1=\Delta, 2=\shctx, usedefault=@]%
% {\JBVTyp[#1][#2]{#3}{#4} \elabto #5}
{\JBVTyp[#1][#2]{#3}{#4} \;\shade{\elabto #5}}
\renewcommandx*{\JDTypElab}[4][1=\Delta, usedefault=@]%
% {#1 \vdash #2 : #3 \elabto #4}
{#1 \vdash #2 : #3 \;\shade{\elabto #4}}
\renewcommandx*{\JCModElab}[5][1=\Gamma, 2=\nu_0, usedefault=@]%
% {#1; #2 \vdashghc #3 : #4 \elabto #5}
{#1; #2 \vdashghc #3 : #4 \;\shade{\elabto #5}}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "paper"
%%% End:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment