view paper/abstract_eng.tex @ 30:55f67e448dcc

Add type system description
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 26 Jan 2017 11:03:51 +0900
parents 2f944ab2f5f6
children a92ac75bd9fa
line wrap: on
line source

\begin{abstract_eng}
    
\end{abstract_eng}