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 description

Bibliographic Details

Main Author:	Cabezas, Juan José (author)
Format:	report
Published:	2006
Subjects:	Dynamic Type Dependent pair type Generic programming Function type
Online Access:	http://hdl.handle.net/20.500.12008/3522
Tags:	Add Tag No Tags, Be the first to tag this record!