Context Navigation

ref05cf0	r57c7e6c4
21	21	Furthermore, Cyclone's polymorphic functions and types are restricted to abstraction over types with the same layout and calling convention as @void *@, \ie only pointer types and @int@.
22	22	In \CFA terms, all Cyclone polymorphism must be dtype-static.
23		While the Cyclone design provides the efficiency benefits discussed in ~~Section~\ref{sec:generic-apps~~} for dtype-static polymorphism, it is more restrictive than \CFA's general model.
	23	While the Cyclone design provides the efficiency benefits discussed in~\VRef{s:GenericImplementation} for dtype-static polymorphism, it is more restrictive than \CFA's general model.
24	24	Smith and Volpano~\cite{Smith98} present Polymorphic C, an ML dialect with polymorphic functions, C-like syntax, and pointer types;
25	25	it lacks many of C's features, most notably structure types, and hence, is not a practical C replacement.

Note: See TracChangeset for help on using the changeset viewer.

Changeset 57c7e6c4 for doc/theses/fangren_yu_MMath/background.tex