diff --git a/paper/gtt.tex b/paper/gtt.tex index cacb104b92691cb163255f37de5817b0ce73ece7..ac2408dc98ed27ba49a8a4bc9e801f447e1ec58c 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 52648e1d860a0181b5cfcb0db3504d207a9e7509..f8e9bb248368f8a3dc18862b3e27e5323fe1ceb0 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}, }