Mercurial > hg > Papers > 2015 > atton-icfp
view delta.tex @ 1:7ae8b1797711
Add title and names
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 23 Feb 2015 16:09:02 +0900 |
parents | 32308ce01324 |
children | 11a86cf869e2 |
line wrap: on
line source
\documentclass{sigplanconf} % The following \documentclass options may be useful: % preprint Remove this option only once the paper is in final form. % 10pt To set in 10-point type instead of 9-point. % 11pt To set in 11-point type instead of 9-point. % authoryear To obtain author/year citation style instead of numeric. \usepackage{amsmath} \begin{document} \special{papersize=8.5in,11in} \setlength{\pdfpageheight}{\paperheight} \setlength{\pdfpagewidth}{\paperwidth} \conferenceinfo{ICFP '15}{August 31 - September 2 , 2015, Vancouver, British Columbia, Canada} \copyrightyear{2015} \copyrightdata{978-1-nnnn-nnnn-n/yy/mm} \doi{nnnnnnn.nnnnnnn} % Uncomment one of the following two, if you are not going for the % traditional copyright transfer agreement. %\exclusivelicense % ACM gets exclusive license to publish, % you retain copyright %\permissiontopublish % ACM gets nonexclusive license to publish % (paid open-access papers, % short abstracts) \titlebanner{banner above paper title} % These are ignored unless \preprintfooter{short description of paper} % 'preprint' option specified. \title{Formalization of Program Modifications using Monad} \subtitle{} \authorinfo{Yasutaka HIGA} {Department of Information Engineering \\ University of the Ryukyus} {atton@cr.ie.u-ryukyu.ac.jp} \authorinfo{Shiji KONO} {University of the Ryukyus} {kono@ie.u-ryukyu.ac.jp} \maketitle \begin{abstract} This is the text of the abstract. \end{abstract} \category{CR-number}{subcategory}{third-level} % general terms are not compulsory anymore, % you may leave them out \terms term1, term2 \keywords keyword1, keyword2 \section{Introduction} \appendix \section{Appendix Title} This is the text of the appendix, if you need one. \acks Acknowledgments, if needed. % We recommend abbrvnat bibliography style. \bibliographystyle{abbrvnat} % The bibliography should be embedded for final submission. \begin{thebibliography}{} \softraggedright \bibitem[Smith et~al.(2009)Smith, Jones]{smith02} P. Q. Smith, and X. Y. Jones. ...reference text... \end{thebibliography} \end{document} % Revision History % -------- ------- % Date Person Ver. Change % ---- ------ ---- ------ % 2013.06.29 TU 0.1--4 comments on permission/copyright notices