Functions in C5

In this paper we present the function type in C5. C5 is a superset of the C programming language. The main difference between C and C5 is that the type system of C5 supports the definition of types of dependent pairs, i.e., the type of the second member of the pair depends on the value of the first...

Full beskrivning

Bibliografiska uppgifter

Huvudupphov:	Cabezas, Juan José (author)
Materialtyp:	report
Utgiven:	2006
Ämnen:	Dynamic Type Dependent pair type Generic programming Function type
Länkar:	http://hdl.handle.net/20.500.12008/3522
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!