Changeset 613 for Deliverables/D1.1


Ignore:
Timestamp:
Mar 1, 2011, 5:47:13 PM (9 years ago)
Author:
mulligan
Message:

More changes to skeleton.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.1/Presentations/WP4-dominic-presentation.tex

    r612 r613  
    1616\end{frame}
    1717
     18\begin{frame}
     19\frametitle{Work Package 4}
     20\end{frame}
     21
     22\begin{frame}
     23\frametitle{The MCS-51 microprocessor}
     24\end{frame}
     25
     26\begin{frame}
     27\frametitle{Development strategy}
     28\end{frame}
     29
     30\begin{frame}
     31\frametitle{Problems to be solved}
     32\end{frame}
     33
     34\begin{frame}
     35\frametitle{Polymorphic variants and phantom types}
     36\end{frame}
     37
     38\begin{frame}
     39\frametitle{Use of dependent types}
     40\end{frame}
     41
    1842\end{document}
Note: See TracChangeset for help on using the changeset viewer.