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

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since f9c7d27 was f9c7d27, checked in by Aaron Moss <a3moss@…>, 6 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.