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

SCM Repository

[smlnj] Annotation of /papers/modulespaper/design/figs/fig-semtypesystem.tex
ViewVC logotype

Annotation of /papers/modulespaper/design/figs/fig-semtypesystem.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (view) (download) (as text)

1 : dbm 3564 \begin{figure}
2 :     \centering
3 :     \small
4 :     \hrule
5 :     \[
6 :     \begin{array}{rcll}
7 :     \tau^n & \in & \mathrm{Tyc} & n\textrm{ is arity}: \Omega^n\Rightarrow \Omega\\
8 :     \\
9 :     \mathfrak{C}^s & ::= &
10 :     \alpha~|~\mathfrak{C}^\lambda(\vv{\mathfrak{C}^s})~|~\vec{\rho}(\mathfrak{C}^s)
11 :     & \textrm{semantic monotype}\\
12 :     \mathfrak{C}^\lambda & ::= &
13 :     \lambda\vec{\alpha}.\mathfrak{C}^s~|~\tau^n & \textrm{semantic tycon}\\
14 :     \mathfrak{T} & ::= &
15 :     \mathsf{typ}(\mathfrak{C}^s)~|~\forall\vec{\alpha}.\mathfrak{C}^s
16 :     & \textrm{semantic type expression}\\
17 :     \mathfrak{C}^{nf} & ::= &
18 :     \alpha~|~\tau^n(\vv{\mathfrak{C}^{nf}}) & \textrm{normal form monotypes}\\
19 :     % Why both the C^s and \lambda forms? Is the C^s form necessary at
20 :     % this point?
21 :     \end{array}
22 :     \]
23 :     % \hrule
24 :     \caption{Semantic type system}
25 :     \label{fig:semtypesystem}
26 :     \end{figure}

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