Calculating sized types
From MaRDI portal
Publication:5959585
DOI10.1023/A:1012996816178zbMath0994.68015OpenAlexW1551651413MaRDI QIDQ5959585
Siau-Cheng Khoo, Wei-Ngan Chin
Publication date: 10 October 2002
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1012996816178
Related Items
Size-based termination of higher-order rewriting, The Computability Path Ordering: The End of a Quest, Type-Based Termination with Sized Products, Inferring Static Non-monotone Size-aware Types Through Testing, Termination checking with types, A Tutorial on Type-Based Termination, Unnamed Item, A Transformational Approach to Resource Analysis with Typed-norms Inference