From 8b42a825fdc373060c4d1734a51514896d97418a Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Fri, 9 Nov 2018 14:40:38 -0500
Subject: [PATCH] camera ready stuff
---
paper/gtt.tex | 29 ++++++++++++++++++++++-------
paper/max.bib | 10 +++++++++-
2 files changed, 31 insertions(+), 8 deletions(-)
diff --git a/paper/gtt.tex b/paper/gtt.tex
index cacb104..ac2408d 100644
--- a/paper/gtt.tex
+++ b/paper/gtt.tex
@@ -31,13 +31,19 @@
%%%
\setcopyright{rightsretained}
+\acmPrice{}
+\acmDOI{10.1145/3290328}
+\acmYear{2019}
+\copyrightyear{2019}
\acmJournal{PACMPL}
-\acmYear{2019} \acmVolume{3} \acmNumber{POPL} \acmArticle{15} \acmMonth{1} \acmPrice{}\acmDOI{10.1145/3290328}
-
+\acmVolume{3}
+\acmNumber{POPL}
+\acmArticle{15}
+\acmMonth{1}
+
%% Copyright information
%% Supplied to authors (based on authors' rights management selection;
%% see authors.acm.org) by publisher for camera-ready submission
-\setcopyright{none} %% For review submission
%\setcopyright{acmcopyright}
%\setcopyright{acmlicensed}
%\setcopyright{rightsretained}
@@ -72,7 +78,7 @@
% \city{City1}
% \state{State1}
% \postcode{Post-Code1}
-% \country{Country1}
+ \country{USA}
}
\email{maxnew@ccs.neu.edu} %% \email is recommended
@@ -84,19 +90,28 @@
% \city{City1}
% \state{State1}
% \postcode{Post-Code1}
-% \country{Country1}
+ \country{USA}
}
\email{dlicata@wesleyan.edu} %% \email is recommended
\author{Amal Ahmed}
\affiliation{
% \department{Department1} %% \department is recommended
- \institution{Northeastern University and Inria Paris} %% \institution is required
+ \institution{Northeastern University} %% \institution is required
+% \streetaddress{Street1 Address1}
+% \city{City1}
+% \state{State1}
+% \postcode{Post-Code1}
+ \country{USA}
+}
+\affiliation{
+% \department{Department1} %% \department is recommended
+ \institution{Inria Paris} %% \institution is required
% \streetaddress{Street1 Address1}
% \city{City1}
% \state{State1}
% \postcode{Post-Code1}
-% \country{Country1}
+ \country{France}
}
\email{amal@ccs.neu.edu} %% \email is recommended
diff --git a/paper/max.bib b/paper/max.bib
index 52648e1..f8e9bb2 100644
--- a/paper/max.bib
+++ b/paper/max.bib
@@ -1228,10 +1228,18 @@ booktitle=flops,
year="2006",
}
+@article{extended,
+ author = {Max S. New and
+ Daniel R. Licata},
+ title = {Call-by-name Gradual Type Theory},
+ journal = {CoRR},
+ year = {2018},
+ url = {http://arxiv.org/abs/1802.00061},
+}
@Unpublished{newlicataahmed19:extended,
author = {Max S. New and Daniel R. Licata and Amal Ahmed},
title = {Gradual Type Theory (Extend Version)},
year = {2018},
-note = {arxiv:},
+url = {https://arxiv.org/abs/1811.02440},
}
--
GitLab