Changeset 2408
- Timestamp:
- Oct 19, 2012, 2:07:29 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Papers/polymorphic-variants-2012/polymorphic-variants.tex
r2397 r2408 40 40 \label{sect.introduction} 41 41 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} 51 The ones of Guarrigue + casts, but also for the bounded case? 52 Casts support both styles of subtyping. 53 54 \subsection{Examples} 55 The weird function types that only work in subtyping as instantiation 56 57 \subsection{Solution to the expression problem} 58 Our running example in pseudo-OCaml syntax 59 60 \section{Bounded polymorphic variants via dependent types} 61 Requirements (i.e. O(1) pattern-matching, natural extracted code, etc.) 62 \subsection{Simulation (reduction + type checking)} 63 \subsection{Examples} 64 The weird function types redone 65 \subsection{Subtyping as instantiation vs subtyping as safe static cast} 66 Here we show/discuss how our approach supports both styles at once. 67 \subsection{Solution to the expression problem, I} 68 Using subtyping as cast, the file I have produced 69 \subsection{Solution to the expression problem, II} 70 Using subtyping as instantiation, comparisons, pros vs cons 71 \subsection{Negative encoding (??)} 72 The negative encoding and application to the expression problem 73 \subsection{Other encodings (??)} 74 Hints 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 42 86 \end{document}
Note: See TracChangeset
for help on using the changeset viewer.