outline.tex

\documentclass[12pt]{article}

\title{Abstraction in Technical Computing}
\author{Jeff Bezanson}

\usepackage{outlines}
\begin{document}

\maketitle

\section{Outline}

\begin{outline}[enumerate]
  \1 Introduction
    \2 What is technical computing?
      \3 In terms of design priorities
    \2 Description of our solution
    \2 Contributions
  \1 Problems in technical computing
    % motivations from the problem domain side
    \2 The current software stack
    \2 Current dynamic language designs
    \2 Uses of dynamic typing
    \2 Bad tradeoffs in current designs
    \2 Social phenomena
  \1 Available technology
    % motivations from the technology side; what's available and under-used
    \2 Language design space
      \3 Something about the priorities from chapter 1
    \2 Dynamic dispatch
    \2 Multiple dispatch
      \3 Symbolic programming
    \2 Domain theory
    \2 Dynamic type inference
  \1 The Julia approach
    \2 Language description
      \3 Type system
      \3 Data model
      \3 Dispatch mechanism
    \2 Performance model
      \3 Type inference
      \3 Specialization
    \2 Explication through elimination
      \3 Conversion and other basic operations
      \3 Numeric types and embeddings
      \3 Multidimensional array indexing
      \3 Array views
      \3 Units
  \1 Case Studies
    \2 Numerical linear algebra
    \2 JUMP
    \2 (possibly Grid.jl and other packages)
  \1 Conclusion
\end{outline}

\end{document}