Skip to content
Snippets Groups Projects
Commit 3ce689e0 authored by Max New's avatar Max New
Browse files

lics review format

parent 3c982338
No related branches found
No related tags found
No related merge requests found
\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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment