From 3ce689e0503ff9f5b7ec0c4168d7af7651bcdc62 Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Wed, 27 Dec 2023 10:51:29 -0700
Subject: [PATCH] lics review format
---
paper-new/paper.tex | 16 ++++++++++++++--
1 file changed, 14 insertions(+), 2 deletions(-)
diff --git a/paper-new/paper.tex b/paper-new/paper.tex
index a3ffccb..d38c656 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
--
GitLab