Ignore:
Timestamp:
Oct 19, 2012, 2:07:29 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/polymorphic-variants-2012/polymorphic-variants.tex

    r2397 r2408  
    4040\label{sect.introduction}
    4141
     42\section{Polymorphic variants}
     43\begin{itemize}
     44 \item General introduction, motivations
     45 \item Bounded vs not-bounded.
     46\end{itemize}
     47
     48\subsection{Subtyping as instantiation vs subtyping as safe static cast}
     49
     50\subsection{Syntax \& type checking rules}
     51The ones of Guarrigue + casts, but also for the bounded case?
     52Casts support both styles of subtyping.
     53
     54\subsection{Examples}
     55The weird function types that only work in subtyping as instantiation
     56
     57\subsection{Solution to the expression problem}
     58Our running example in pseudo-OCaml syntax
     59
     60\section{Bounded polymorphic variants via dependent types}
     61Requirements (i.e. O(1) pattern-matching, natural extracted code, etc.)
     62\subsection{Simulation (reduction + type checking)}
     63\subsection{Examples}
     64The weird function types redone
     65\subsection{Subtyping as instantiation vs subtyping as safe static cast}
     66Here we show/discuss how our approach supports both styles at once.
     67\subsection{Solution to the expression problem, I}
     68Using subtyping as cast, the file I have produced
     69\subsection{Solution to the expression problem, II}
     70Using subtyping as instantiation, comparisons, pros vs cons
     71\subsection{Negative encoding (??)}
     72The negative encoding and application to the expression problem
     73\subsection{Other encodings (??)}
     74Hints to other possible encodings
     75
     76\section{Extensible records (??)}
     77
     78\section{Comparison to related work and alternatives}
     79\begin{itemize}
     80 \item Disjoint unions: drawbacks
     81 \item Encoding the unbounded case: drawbacks
     82\end{itemize}
     83
     84\section{Appendix: interface of library functions used to implement everything}
     85
    4286\end{document}
Note: See TracChangeset for help on using the changeset viewer.