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-semanticobjs.tex
ViewVC logotype

View of /papers/modulespaper/design/figs/fig-semanticobjs.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: 881 byte(s)
initial import
%!TEX root = ../main.tex
\begin{figure}
	\hrule
\[\begin{array}{rcll}
       s^p & ::= &  arity~|~\Sigma~|~\Sigma^f& \textrm{primary spec}\\
       \Sigma & ::= & \emptyset_{sig}~|~[x\mapsto (\rho,
       s^p)]\Sigma & \textrm{semantic signature}\\
       & ~~| & [x\mapsto \mathbb{C}^\lambda]\Sigma~|~[x\mapsto
       \mathbb{T}]\Sigma \\ 
	M & ::= & (\Sigma, R) & \textrm{full signature}\\
        \Sigma^f & ::= & \Pi\rho:\Sigma.\Sigma & \textrm{functor signature}\\
	F & ::= & (\Sigma^f, \psi) & \textrm{full functor signature}\\
        \gamma & ::= &
        \mathfrak{T}~|~\mathfrak{C}^\lambda~|~\Sigma~|~\Sigma^f & \textrm{static binding}\\
        & ~~| & (\rho, M)~|~(\rho,
        F) \\
	\Gamma & ::= & \emptyset_{se}~|~\Gamma[x\mapsto \gamma] &
        \textrm{static environment}\\
\end{array}\]
\caption{Semantic representations}
\label{fig:semanticobjs}
\end{figure}

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