Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /papers/modulespaper/design/figs/fig-modlang.tex
ViewVC logotype

View of /papers/modulespaper/design/figs/fig-modlang.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (download) (as text) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 968 byte(s)
initial import
%!TEX root = ../main.tex

\begin{figure}
\hrule
\[
\begin{array}{rcl}
d^c & ::= & \mathsf{val}~
x=e~|~\mathsf{type}~t=C^\lambda~|~\mathsf{datatype}~\vec{\alpha}~t\\
spec & ::= & \mathsf{structure}~x :
        sigexp~|~\mathsf{type}~\vec{\alpha}~t\\
& ~~| & \mathsf{type}~t = C^\lambda\\ 
& ~~| & \mathsf{functor}~f(x:sigexp_1) : sigexp_2\\
& ~~| & \mathsf{val}~x:T\\
specs & ::= & \emptyset_{specs}~|~spec, specs\\
sigexp & ::= &
        x~|~\mathsf{sig}~spec~\mathsf{end}~|~sigexp~\mathsf{where~
          type}~p=C^\lambda\\
%        & & ~~| & sigexp~\mathsf{where}~p_1=p_2\\
strexp & ::= & p~|~\mathsf{struct} ~d^m~\mathsf{end}
        ~|~p(strexp)\\
& ~~| & strexp:sigexp~|~strexp:>sigexp\\
d^m & ::= & \circ~|~\mathsf{structure}~x = strexp, d^m\\
& ~~| & \mathsf{functor}
       ~f(x:sigexp)=strexp, d^m~|~d^c, d^m\\
d^t & ::= & \circ~|~\mathbf{signature}~x=sigexp,d^t~|~d^m,d^t
\end{array}
\]

\caption{Surface module language}
\label{fig:modlang}
\end{figure}


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0