| |
| | POP Seminar, 02-07-03 |
 | | Although plenty of safe languages exist to serve as guidance (e.g., Standard ML, Typed Assembly Language, and Generic Java), we have encountered interesting differences in designing Cyclone, a safe C-like language. |
 | | Designing a type-safe programming language with mutation, aliasing and quantified (i.e., universal and existential) types is an error-prone activity, but one still worth undertaking. |
 | | In this talk, I will describe quantified types in Cyclone, present a C-level formal semantics, explain why Cyclone's type system is sound, and investigate the heretofore undiscovered soundness issue involving existential types and aliasing. |
| www.cs.cmu.edu /afs/.cs.cmu.edu/Web/Groups/pop/seminar/050126.html (148 words) |
|