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...
Saved in:
| Main Author: | |
|---|---|
| Format: | report |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3522 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Functions in C5
- C5 printf and C5 scanfin C5 version 0.98
- A generic version of scanf programmed in C5
- A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
- Promoter hypermethylation as a mechanism for Lamin A/C silencing in a subset of neuroblastoma cells
- Hfusion : a fusion tool based on acid rain plus extensions
- Microbiological changes during long-storage of beef meat under different temperature and vacuum-packaging conditions