Calculating sized types

Saved in:
Bibliographic Details
Published in:Higher-order and symbolic computation 2001-09, Vol.14 (2-3), p.261-300
Main Authors: CHIN, Wei-Ngan, KHOO, Siau-Cheng
Format: Article
Language:English
Subjects:
Algebra
Algorithmics. Computability. Computer arithmetics
Applied sciences
Associative rings and algebras
Computer science
control theory
systems
Exact sciences and technology
Mathematics
Programming theory
Sciences and techniques of general use
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1388-3690
2212-0793
DOI:10.1023/A:1012996816178