-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.tex
113 lines (94 loc) · 2.32 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
\documentclass[acmsmall,dvipsnames]{acmart}
\input{preamble}
\input{symbols}
\input{macros}
\bibliographystyle{ACM-Reference-Format}
\citestyle{acmauthoryear}
\setcopyright{rightsretained}
\acmDOI{10.1145/3632910}
\acmYear{2024}
\copyrightyear{2024}
\acmSubmissionID{popl24main-p336-p}
\acmJournal{PACMPL}
\acmVolume{8}
\acmNumber{POPL}
\acmArticle{68}
\acmMonth{1}
\received{2023-07-11}
\received[accepted]{2023-11-07}
\begin{document}
\title{Total Type Error Localization and Recovery with Holes}
\author{Eric Zhao}
\orcid{0009-0000-4969-2376}
\affiliation{%
\institution{University of Michigan}
\city{Ann Arbor}
\country{USA}
}
\email{[email protected]}
\author{Raef Maroof}
\orcid{0009-0004-5097-6519}
\affiliation{%
\institution{University of Michigan}
\city{Ann Arbor}
\country{USA}
}
\email{[email protected]}
\author{Anand Dukkipati}
\orcid{0009-0000-3141-9144}
\affiliation{%
\institution{University of Michigan}
\city{Ann Arbor}
\country{USA}
}
\email{[email protected]}
\author{Andrew Blinn}
\orcid{0000-0001-6938-7379}
\affiliation{%
\institution{University of Michigan}
\city{Ann Arbor}
\country{USA}
}
\email{[email protected]}
\author{Zhiyi Pan}
\orcid{0009-0001-5141-5666}
\affiliation{%
\institution{University of Michigan}
\city{Ann Arbor}
\country{USA}
}
\email{[email protected]}
\author{Cyrus Omar}
\orcid{0000-0003-4502-7971}
\affiliation{%
\institution{University of Michigan}
\city{Ann Arbor}
\country{USA}
}
\input{abstract}
\begin{CCSXML}
<ccs2012>
<concept>
<concept_id>10011007.10011006.10011008</concept_id>
<concept_desc>Software and its engineering~General programming languages</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10003752.10003790.10011740</concept_id>
<concept_desc>Theory of computation~Type theory</concept_desc>
<concept_significance>500</concept_significance>
</concept>
</ccs2012>
\end{CCSXML}
\ccsdesc[500]{Software and its engineering~General programming languages}
\ccsdesc[500]{Theory of computation~Type theory}
\keywords{type errors, bidirectional typing, gradual typing, type inference}
\maketitle
\input{intro}
\input{background}
\input{calculus}
\input{typeholeinference}
\input{related}
\input{conclusion}
\bibliography{references}
\end{document}