Annotation of /trunk/doc/typing/typing.tex

Parent Directory | Revision Log

---

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

1 :	jhr	64	\documentclass[11pt]{article}
2 :
3 :			\input{defs}
4 :
5 :			\setlength{\textwidth}{6in}
6 :			\setlength{\oddsidemargin}{0.25in}
7 :			\setlength{\evensidemargin}{0.25in}
8 :			\setlength{\parskip}{5pt}
9 :
10 :			\title{Typechecking Diderot}
11 :			\author{
12 :			Gordon Kindlmann \\
13 :			University of Chicago \\
14 :			{\small\tt{}glk@cs.uchicago.edu} \\
15 :			\and
16 :			John Reppy \\
17 :			University of Chicago \\
18 :			{\small\tt{}jhr@cs.uchicago.edu} \\
19 :			}
20 :			\date{\today}
21 :
22 :			\begin{document}
23 :
24 :			\maketitle
25 :			\thispagestyle{empty}
26 :
27 :			\section{Introduction}
28 :			This document looks at the rules for typechecking Diderot.
29 :
30 :			\section{Types}
31 :			The syntax of Diderot types is given in \figref{fig:types}.
32 :			\begin{figure}[t]
33 :			\begin{displaymath}
34 :			\begin{array}{rclr}
35 :			\iota & ::= & \TYconst & \text{type constants} \\
36 :			& \mid & \TYint & \text{integers} \\[1em]
37 :			\tau & ::= & \iota \\
38 :			& \mid & \theta \\
39 :			& \mid & \TYmatrix{n}{m} & \text{$n\times{}m$ matrix} \\
40 :			& \mid & \TYimage{d}{\mu} & \text{$d$-dimension image of $\mu$ values}\\
41 :			& \mid & \TYkern{k} & \text{convolution kernel with $k$ derivatives} \\
42 :			& \mid & \TYfield{k}{d}{\theta} & \text{$d$-dimension field of $\theta$ values with $k$ derivatives} \\
43 :			\sigma & ::= \
44 :			\end{array}%
45 :			\end{displaymath}%
46 :			where $o\in\Nat$ is the tensor order, $d,n,m\in\SET{2,3}$ are dimensions,
47 :			and $k\in\Nat$ is the differentiability of a field.
48 :			\caption{Diderot types}
49 :			\label{fig:types}
50 :			\end{figure}%
51 :
52 :			\end{document}

---

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