Changeset 07846d8

Timestamp:

May 14, 2017, 2:26:36 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

218aecf

Parents:

f3ddc21

Message:

make inverted A in CFA name better

File:

• doc/generic_types/generic_types.tex (modified) (5 diffs)

doc/generic_types/generic_types.tex

@@ -6 +6 @@
 \usepackage{upquote}                                                                    % switch curled `'" to straight
 \usepackage{listings}                                                                   % format program code
+\usepackage{rotating}
 \usepackage[usenames]{color}
 
@@ -48 +49 @@
 
 % Useful macros
-\newcommand{\CFA}{C$\mathbf\forall$\xspace} % Cforall symbolic name
+\newcommand{\CFA}{C\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\hspace{-1pt}\xspace} % Cforall symbolic name
+%\newcommand{\CFA}{C$\mathbf\forall$\xspace} % Cforall symbolic name
 \newcommand{\CC}{\rm C\kern-.1em\hbox{+\kern-.25em+}\xspace} % C++ symbolic name
 \newcommand{\CCeleven}{\rm C\kern-.1em\hbox{+\kern-.25em+}11\xspace} % C++11 symbolic name
@@ -97 +99 @@
 \acmJournal{PACMPL}
 
-\title{Generic and Tuple Types with Efficient Dynamic Layout in \CFA}
+\title{Generic and Tuple Types with Efficient Dynamic Layout in \protect\CFA}
 
 \author{Aaron Moss}
@@ -197 +199 @@
 \label{sec:poly-fns}
 
-\CFA's polymorphism was originally formalized by \citet{Ditchfield92}, and first implemented by \citet{Bilson03}.
+\CFA{}\hspace{1pt}'s polymorphism was originally formalized by \citet{Ditchfield92}, and first implemented by \citet{Bilson03}.
 The signature feature of \CFA is parametric-polymorphic functions~\citep{forceone:impl,Cormack90,Duggan96} with functions generalized using a @forall@ clause (giving the language its name):
 \begin{lstlisting}
@@ -950 +952 @@
 }
 \end{lstlisting}
-\caption{\CFA Benchmark Test}
+\caption{\protect\CFA Benchmark Test}
 \label{fig:BenchmarkTest}
 \end{figure}