Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Giuseppe Castagna
occurrence-typing
Commits
1e8df2ba
Commit
1e8df2ba
authored
Mar 04, 2020
by
Giuseppe Castagna
Browse files
Rewritten settings for non anonymous paper
parent
70a43e94
Changes
4
Hide whitespace changes
Inline
Side-by-side
algorithm.tex
View file @
1e8df2ba
...
...
@@ -286,6 +286,10 @@ We now have all the definitions we need for our typing algorithm%
{
\Gamma\vdashA
c:
\basic
{
c
}}
{
c
\not\in\dom\Gamma
}
\vspace
{
-2mm
}
\\
\ifsubmission\else
\end{mathpar}
\begin{mathpar}
\fi
%
\Infer
[Abs\Aa]
{
\Gamma
,x:s
_
i
\vdashA
e:t
_
i'
\\
t
_
i'
\leq
t
_
i
}
{
...
...
code_table.tex
View file @
1e8df2ba
...
...
@@ -148,6 +148,9 @@ $(\Int\to\textsf{Empty})\land(\neg\Int\to{}2)$\newline
\\\hline
\end{tabular}
}
\caption
{
Types inferred by the implementation
}
\vspace
{
-10mm
}
\caption
{
Types inferred by the implementation
}
\ifsubmission
%
\vspace
{
-10mm
}
\fi
%
\label
{
tab:implem
}
\end{table}
language.tex
View file @
1e8df2ba
...
...
@@ -253,7 +253,12 @@ expression whose type environment contains an empty assumption:
\end{mathpar}
Once more, this kind of deduction was already present in the system
by~
\citet
{
Frisch2008
}
to type full fledged overloaded functions,
though it was embedded in the typing rule for the type-case.~
\pagebreak
though it was embedded in the typing rule for the type-case.
%
\ifsubmission
%
~
\pagebreak
\else
\fi
%
Here we
need the rule
\Rule
{
Efq
}
, which is more general, to ensure the
property of subject reduction.
...
...
main.tex
View file @
1e8df2ba
%% For double-blind review submission, w/o CCS and ACM Reference (max submission space)
\documentclass
[acmsmall,review,anonymous]
{
acmart
}
\settopmatter
{
printfolios=true,printccs=false,printacmref=false
}
%
\documentclass[acmsmall,review,anonymous]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
%% For double-blind review submission, w/ CCS and ACM Reference
%\documentclass[acmsmall,review,anonymous]{acmart}\settopmatter{printfolios=true}
%% For single-blind review submission, w/o CCS and ACM Reference (max submission space)
...
...
@@ -8,7 +8,8 @@
%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true}
%% For final camera-ready submission, w/ required CCS and ACM Reference
%% \documentclass[acmsmall,screen]{acmart}\settopmatter{}
%%%%%%%%\documentclass[acmsmall,screen,nonacm]{acmart}%\settopmatter{printacmref=false}\pagestyle{plain} % removes running headers
\documentclass
[acmsmall,screen,nonacm]
{
acmart
}
%\settopmatter{printacmref=false}\pagestyle{plain} % removes running headers
%
% The following are the instructions for PLDI 2020 submission
%
...
...
@@ -23,10 +24,10 @@
\withcommentsfalse
\newif\ifsubmission
\submissiontrue
%
\submissionfalse
\submissionfalse
\newif\iflongversion
\longversiontrue
\longversionfalse
%
\longversionfalse
\usepackage
{
setup
}
\fancypagestyle
{
emptyfooter
}{
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment