source: doc/theses/aaron_moss_PhD/phd/generic-types.tex@ f9c7d27

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr no_list persistent-indexer pthread-emulation qualifiedEnum
Last change on this file since f9c7d27 was f9c7d27, checked in by Aaron Moss <a3moss@…>, 7 years ago

Draft reference types and resource management subsections of thesis background

  • Property mode set to 100644
File size: 426 bytes
Line 
1\chapter{Generic Types}
2\label{generic-chap}
3
4Talk about generic types. Pull from Moss~\etal\cite{Moss18}.
5
6% TODO discuss layout function algorithm, application to separate compilation
7% TODO put a static const field in for _n_fields for each generic, describe utility for separate compilation
8
9% TODO mention impetus for zero_t design
10
11% TODO mention use in tuple-type implementation
12
13% TODO pull benchmarks from Moss et al.
Note: See TracBrowser for help on using the repository browser.