diff --git a/paper-new/paper.tex b/paper-new/paper.tex index a3ffccbe51a56694b0a80e305f4e518c81ceebe6..d38c656000ce7628e64187c3301553f454bf2f3f 100644 --- a/paper-new/paper.tex +++ b/paper-new/paper.tex @@ -1,4 +1,4 @@ -\documentclass[sigconf,screen]{acmart} +\documentclass[sigconf,anonymous,review,screen]{acmart} \let\Bbbk\relax \usepackage{quiver} @@ -11,7 +11,6 @@ \usepackage{array} - %% Rights management information. This information is sent to you %% when you complete the rights form. These commands have SAMPLE %% values in them; it is your responsibility as an author to replace @@ -37,7 +36,20 @@ \title{Mechanized Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory} \author{Eric Giovannini} +\affiliation{ + \department{Electrical Engineering and Computer Science} + \institution{University of Michigan} + \country{USA} +} +\email{ericgio@umich.edu} + \author{Max S. New} +\affiliation{ + \department{Electrical Engineering and Computer Science} + \institution{University of Michigan} + \country{USA} +} +\email{maxsnew@umich.edu} \begin{abstract} Gradually typed programming languages, which allow for soundly