Commit ab88865f authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added main-elsarticle.tex

parent 9c767085
% per forzare Arxiv a usare pdflatex (deve essere nelle prime 5 linee)
\pdfoutput=1
%% Use the option review to obtain double line spacing
%% \documentclass[authoryear,preprint,review,12pt]{elsarticle}
%% Use the options 1p,twocolumn; 3p; 3p,twocolumn; 5p; or 5p,twocolumn
%% for a journal layout:
%% \documentclass[final,1p,times,authoryear]{elsarticle}
%% \documentclass[final,1p,times,twocolumn,authoryear]{elsarticle}
%% \documentclass[final,3p,times,authoryear]{elsarticle}
%% \documentclass[final,3p,times,twocolumn,authoryear]{elsarticle}
%% \documentclass[final,5p,times,authoryear]{elsarticle}
%% \documentclass[final,5p,times,twocolumn,authoryear]{elsarticle}
\documentclass[final,3p
,times
]{elsarticle}
%% 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}
%% 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)
%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
%% For single-blind review submission, w/ CCS and ACM Reference
%\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
%
% The following are the instructions for PLDI 2020 submission
%
%\documentclass[sigplan,10pt,review,anonymous]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\newif\ifwithcomments
\withcommentstrue
\withcommentsfalse
\newif\ifsubmission
\submissiontrue
%\submissionfalse
\newif\iflongversion
\longversiontrue
%\longversionfalse
\usepackage{setup}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Note: Authors migrating a paper from PACMPL format to traditional
%% SIGPLAN proceedings format must update the '\documentclass' and
%% topmatter commands above; see 'acmart-sigplanproc-template.tex'.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Some recommended packages.
\usepackage{booktabs} %% For formal tables:
%% http://ctan.org/pkg/booktabs
\usepackage{subcaption} %% For complex figures with subfigures/subcaptions
%% http://ctan.org/pkg/subcaption
\usepackage{url}
%% Use the option review to obtain double line spacing
%% \documentclass[authoryear,preprint,review,12pt]{elsarticle}
%% Use the options 1p,twocolumn; 3p; 3p,twocolumn; 5p; or 5p,twocolumn
%% for a journal layout:
%% \documentclass[final,1p,times,authoryear]{elsarticle}
%% \documentclass[final,1p,times,twocolumn,authoryear]{elsarticle}
%% \documentclass[final,3p,times,authoryear]{elsarticle}
%% \documentclass[final,3p,times,twocolumn,authoryear]{elsarticle}
%% \documentclass[final,5p,times,authoryear]{elsarticle}
%% \documentclass[final,5p,times,twocolumn,authoryear]{elsarticle}
%% For including figures, graphicx.sty has been loaded in
%% elsarticle.cls. If you prefer to use the old commands
%% please give \usepackage{epsfig}
%% The amssymb package provides various useful mathematical symbols
\usepackage{amssymb}
%\usepackage{stmaryrd}
%\usepackage{amsmath}
%% The amsthm package provides extended theorem environments
\usepackage{amsthm}
\newtheorem {definition} {Definition} [section]
%\newtheorem {property} [definition] {Property}
\newtheorem {theorem} [definition] {Theorem}
\newtheorem {proposition} [definition] {Proposition}
\newtheorem {lemma} [definition] {Lemma}
\newtheorem {corollary} [definition] {Corollary}
%% The lineno packages adds line numbers. Start line numbering with
%% \begin{linenumbers}, end it with \end{linenumbers}. Or switch it on
%% for the whole article with \linenumbers.
%\usepackage{lineno}\linenumbers
\journal{Science of Computer Programming}
\begin{document}
\begin{frontmatter}
%% Title, authors and addresses
%% use the tnoteref command within \title for footnotes;
%% use the tnotetext command for theassociated footnote;
%% use the fnref command within \author or \affiliation for footnotes;
%% use the fntext command for theassociated footnote;
%% use the corref command within \author for corresponding author footnotes;
%% use the cortext command for theassociated footnote;
%% use the ead command for the email address,
%% and the form \ead[url] for the home page:
%% \title{Title\tnoteref{label1}}
%% \tnotetext[label1]{}
%% \author{Name\corref{cor1}\fnref{label2}}
%% \ead{email address}
%% \ead[url]{home page}
%% \fntext[label2]{}
%% \cortext[cor1]{}
%% \affiliation{organization={},
%% addressline={},
%% city={},
%% postcode={},
%% state={},
%% country={}}
%% \fntext[label3]{}
\title{Revisiting Occurrence Typing}
%% use optional labels to link authors explicitly to addresses:
%% \author[label1,label2]{}
%% \affiliation[label1]{organization={},
%% addressline={},
%% city={},
%% postcode={},
%% state={},
%% country={}}
%%
%% \affiliation[label2]{organization={},
%% addressline={},
%% city={},
%% postcode={},
%% state={},
%% country={}}
\author[1]{Giuseppe Castagna}
%% \orcid{0000-0003-0951-7535}
\address[1]{Institut de Recherche en Informatique Fondamentale
- CNRS - Université de Paris
}
\author[1]{Victor Lanvin}
%% \affiliation{
%% \department{Institut de Recherche en Informatique Fondamentale (IRIF)}
%% \institution{Université de Paris}
%% \country{France}
%% }
\author[1]{Mickaël Laurent}
%% \affiliation{
%% \institution{École Normale Supérieure Paris-Saclay}
%% \country{France}
%% }
\author[2]{Kim Nguyen}
\address[2]{
{Laboratoire de Recherche en Informatique}
{Université Paris-Saclay}
{France}
}
\begin{abstract}
%% Text of abstract
\input{abstract}
\end{abstract}
\end{frontmatter}
\section{Introduction}
\label{sec:intro}
\input{intro}
\section{Language}
\label{sec:language}
\input{language}
\subsection{Algorithmic system}
\label{ssec:algorithm}
\input{algorithm}
%{\color{gray}
%\section{OLD LANGUAGE}
%\input{language}
%}
\section{Extensions}
\label{sec:extensions}
\input{extensions}
\section{Towards a practical implementation}
\label{sec:practical}
\input{practical}
%\section{Polymorphism}
%\label{sec:polymorphism}
%\input{polymorphism}
\section{Related work}
\label{sec:related}
\input{related}
\section{Future work and conclusion}
\label{sec:conclusion}
\input{conclusion}
%% Acknowledgments
\subsubsection*{Acknowledgments}
The authors thank Paul-André Melliès for his help on type ranking.
This research was partially supported by Labex DigiCosme (project ANR-11-LABEX-0045-
DIGICOSME) operated by ANR as part of the program «Investissement d'Avenir» Idex
Paris-Saclay (ANR-11-IDEX-0003-02) and by a Google PhD fellowship for the second author.
%% Bibliography
\bibliographystyle{ACM-Reference-Format}
\bibliography{main}
\pagebreak
%% Appendix
\appendix
\section{Definition of the Subtyping Relation}
\label{sec:subtyping}
\input{subtyping}
\newpage
\section{Proof of Type Soundness}
\label{sec:proofs}
\input{proofs}
\newpage
\section{Typing Algorithm: Operators, Type Schemes, Proofs of Soundness and Completeness}
\label{sec:proofs-algo}
\input{proofs-algo}
\newpage
\section{Record types operators}\label{app:recop}
\input{record_operations}
\newpage
\section{A more precise rule for inference}\label{app:optimize}
\input{optimize}
\newpage
\section{A Roadmap to Polymorphic Types}
\label{app:roadmap}
\input{roadmappolymorphism}
\end{document}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment