Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /trunk/doc/typing/typing.tex
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log 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