Typed Norms

Authors:
Annalisa Bossi;Nicoletta Cocco;Massimo Fabris
Affiliations:
-;-;-
Venue:
ESOP '92 Proceedings of the 4th European Symposium on Programming
Year:
1992

Citing 0
Cited 2

Calculating Sized Types

Higher-Order and Symbolic Computation
Termination analysis of logic programs through combination of type-based norms

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract