From f2c182e28891900b6a791486ca09c248148e5d2a Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Tue, 23 Jan 2024 09:26:23 -0500
Subject: [PATCH] correct title/authors
---
paper-new/paper.tex | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/paper-new/paper.tex b/paper-new/paper.tex
index 8a62495..a4a4204 100644
--- a/paper-new/paper.tex
+++ b/paper-new/paper.tex
@@ -34,7 +34,7 @@
\begin{document}
-\title{Mechanized Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory}
+\title{Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory}
\author{Eric Giovannini}
\affiliation{
\department{Electrical Engineering and Computer Science}
@@ -43,6 +43,14 @@
}
\email{ericgio@umich.edu}
+\author{Tingting Ding}
+\affiliation{
+ \department{Electrical Engineering and Computer Science}
+ \institution{University of Michigan}
+ \country{USA}
+}
+\email{tingtind@umich.edu}
+
\author{Max S. New}
\affiliation{
\department{Electrical Engineering and Computer Science}
--
GitLab